TY  - BOOK
AU  - Bezem M
ED  - International Workshop on Typed Lamda Calculi and Applications( 1st : 1993 : Netherlands )
ED  - International Workshop on Typed Lamda Calculi and Applications 1st
TI  - Typed lamda calculi and applications : proceedings
U1  - 4.0151 
PY  - 1993///
CY  - Berlin
PB  - springer Verlag
KW  - Computer science
KW  - Lamda calculi
ER  -