TY  - BOOK
TI  - Typed lambda calculi and applications: proceedings
T3  - Lecture notes in computer science
T3  - 664
AU  - Bezem, Marc and Groote, Jan Friso
editor = {Bezem, Marc},
editor = {Groote, Jan Friso},
A2  - Bezem, Marc
A2  - Groote, Jan Friso
CY  - Berlin
PB  - Springer
PY  - 1993
PY  - 1993
LA  - English
KW  - Typisierter Lambda-Kalkül
SN  - 3540565175
SN  - 0387565175
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz032526318cov.jpg
UR  - https://zbmath.org/?q=an:0866.00038
UR  - https://katalog.fid-bbi.de/Record/183-122886372
ER  -