Types for proofs and programs (e-book)
Gimenez, Eduardo
Types for proofs and programs (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1512 .
978-3-540-49562-8
Types for proofs and programs (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1512 .
978-3-540-49562-8