TY  - BOOK
AU  - Barendregt,Henk
AU  - Nipkow,Tobias
ED  - International Workshop TYPES '93
TI  - Types for proofs and programs: international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers 
SN  - 3540580859
AV  - QA76.9 A96 T97
PY  - 1994///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer programs
ER  -