TY  - BOOK
AU  - Girard, Jean-Yves (Ed)
TI  - Typed  Lambda calculi  and applications :  lecture notes in computer science : Proceedings
SN  - 0003540657630
U1  - 004.0151 
PB  - Springer: Tokyo
KW  - mathematics :
ER  -