Types for Proofs and Programs /
Geubers, Herman
Types for Proofs and Programs / Geubers, Herman. - New York: Springer, 2003. - viii,330p.;25cm. - Lecture Notes in Computer Science 2646 .
Includes bibliographical references.
354014031x
004 GEU
Types for Proofs and Programs / Geubers, Herman. - New York: Springer, 2003. - viii,330p.;25cm. - Lecture Notes in Computer Science 2646 .
Includes bibliographical references.
354014031x
004 GEU