TY  - BOOK
AU  - Geubers, Herman
TI  - Types for Proofs and Programs
T2  - Lecture Notes in Computer Science 2646
SN  - 354014031x
U1  - 004 GEU 
PY  - 2003///
CY  - New York
PB  - Springer
N1  - Includes bibliographical references
ER  -