Types for Proofs and Programs
de Stefano Berardi, Mario Coppo, Ferruccio Damiani
Materias
Ediciones (1)
- Types for Proofs and Programs (2004)
Springer London, Limited · inglés · ISBN 9783540248491
de Stefano Berardi, Mario Coppo, Ferruccio Damiani
Springer London, Limited · inglés · ISBN 9783540248491