TY  - BOOK
AU  - Dybjer,Peter
AU  - Nordstrom,Bengt
AU  - Smith,Jan
ED  - International Workshop TYPES '94
TI  - Types for proofs and programs: international workshop TYPES '94, BÃ¥stad, Sweden, June 6-10, 1994 : selected papers 
SN  - 3540605797
AV  - QA76.9 A96 T974
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer programs
ER  -