Types for Proofs and Programs
de Herman Geuvers, Freek Wiedijk
Ediciones (2)
- Types for Proofs and Programs (2014)
Springer · ISBN 9783662213414
- Types for Proofs and Programs (2003)
Springer London, Limited · inglés · ISBN 9783540391852
de Herman Geuvers, Freek Wiedijk
Springer · ISBN 9783662213414
Springer London, Limited · inglés · ISBN 9783540391852
