Type Theory and Formal Proof
de Rob Nederpelt, Herman Geuvers
Materias
Ediciones (3)
- Type Theory and Formal Proof (2014)
Cambridge University Press · inglés · ISBN 9781139567725
- Type Theory and Formal Proof (2014)
Cambridge University Press · inglés · ISBN 9781316056349
- Type Theory and Formal Proof (2014)
Cambridge University Press · inglés · ISBN 9781107036505