TY  - BOOK
AU  - Girard, Jean-Yves Ed.,
TI  - Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
SN  - 3540657630
CY  - Berlin, New York
KW  - Lambda calculus
KW  - Congresses
ER  -