TY  - BOOK
AU  - Groote, Philippe de. : Hindley, J. Roger (Ed)
TI  - Typed lambda calculi and applications Proceedings:Lecture notes in Computer Science
SN  - 0003540626883
U1  - 004.0151 
PB  - Springer: Tokyo
KW  - mathematics: computer science
ER  -