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
editor = {Bezem, Marc},
A2  - Bezem, Marc
CY  - Berlin u.a.
PB  - Springer
PY  - 1993
PY  - 1993
LA  - English
KW  - Typisierter Lambda-Kalkül
SN  - 9783540475866
N1  - Literaturangaben
UR  - http://dx.doi.org/10.1007/BFb0037093
UR  - https://doi.org/10.1007/BFb0037093
UR  - https://zbmath.org/?q=an:0866.00038
UR  - https://katalog.fid-bbi.de/Record/183-595126723
ER  -