Modern Perspective on Type Theory
de F. D. Kamareddine, T. Laan, Rob Nederpelt
Materias
Ediciones (1)
- Modern Perspective on Type Theory (2010)
Springer · inglés · ISBN 9789048166398
de F. D. Kamareddine, T. Laan, Rob Nederpelt
Springer · inglés · ISBN 9789048166398