TY  - BOOK
AU  - Abramsky,Samson
ED  - International Conference on Typed Lambda Calculi and Applications
TI  - Typed Lambda Calculi and Applications: 5th International Conference, TLCA'2001: Krakow, Poland, may 2-5, 2001 : proceedings 
T2  - Lecture notes in computer science,
SN  - 3540419608
AV  - QA9.5 I57 2001
PY  - 2001///
CY  - Berlin
PB  - Springer Verlag
KW  - Cálculo lambda
KW  - Congresos
ER  -