TY  - BOOK
AU  - Bezem,Marc
ED  - International Conference on Typed Lambda Calculi and Applications
TI  - Typed lambda calculi and applications: International Conference on Typed Lambda Calculi and Applications TLCA'93, March 16-18, 1993, Utrecht, the Netherlands : proceedings 
SN  - 3540565175
AV  - QA9.5 I58 1993
PY  - 1993///
CY  - Berlin
PB  - Springer
KW  - Lambda calculus
KW  - Congresses
ER  -