TY  - BOOK
AU  - 
AU  - Plotkin,Gordon
ED  - International Conference on Typed Lambda Calculi and Applications
TI  - Typed lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings 
SN  - 354059048x
AV  - QA9.5 I58 1995
PY  - 1995///
CY  - Berlin
PB  - Springer
KW  - Lambda calculus
KW  - congresses
ER  -