TY  - BOOK
AU  - Abramsky, Samson. Ed.
TI  - Typed Lambda Calculi and Applications : Proceedings of the 5th International Conference, Poland, 2001
SN  - 3540419608
CY  - Berlin
KW  - Lambda Calculi and Applications
ER  -