TY  - EBOOK
TI  - Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
T3  - Lecture Notes in Computer Science
T3  - 664
AU  - Bezem, Marc and Groote, Jan Friso
editor = {Groote, Jan Friso},
A2  - Groote, Jan Friso
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
PY  - 1993
PY  - 1993
LA  - English
KW  - Typisierter Lambda-Kalkül
SN  - 9783540475866
UR  - https://doi.org/10.1007/BFb0037093
UR  - https://swbplus.bsz-bw.de/bsz322905400cov.jpg
UR  - https://zbmath.org/?q=an:0866.00038
UR  - https://katalog.fid-bbi.de/Record/183-1649297599
ER  -