Normal view MARC view

Gimenez, Eduardo (Personal Name)

Number of records used in: 1

Preferred form: Gimenez, Eduardo

Machine generated authority record.

Work cat.: (OSt)285067: Gimenez, Eduardo, Types for proofs and programs (e-book), 1998