Types for Proofs and Programs
de Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Materias
Ediciones (1)
- Types for Proofs and Programs (2006)
Springer London, Limited · inglés · ISBN 9783540314295
de Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Springer London, Limited · inglés · ISBN 9783540314295