TY  - BOOK
AU  - Groote,Philippe de
AU  - Hindley,J.Roger
ED  - International Conference on Typed Lambda Calculi and Applications
TI  - Typed lambda calculi and applications: third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings 
SN  - 3540626883
SN  - 03029743
AV  - QA9.5 I58 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Lambda calculus
KW  - Congresses
ER  -