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 -