Types for Proofs and Programs
de Peter Dybjer, Bengt Nordström, Jan Smith
Ediciones (2)
- Types for Proofs and Programs (2014)
Springer · ISBN 9783662188460
- Types for Proofs and Programs (2003)
Springer London, Limited · inglés · ISBN 9783540445579
de Peter Dybjer, Bengt Nordström, Jan Smith
Springer · ISBN 9783662188460
Springer London, Limited · inglés · ISBN 9783540445579
