TY  - BOOK
AU  - Barendregt Henk
ED  - International Workshop on Types for Proofs and Programs( 1993 : Nijmegen )
ED  - International Workshop on Types for Proofs and Programs
TI  - Types for proofs and programs : proceedings
U1  - 4 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Compuiter science
KW  - Proofs and programmes
ER  -