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  - 
T3  - 664
AU  - Bezem, Marc
editor = {Bezem, Marc},
A2  - Bezem, Marc
CY  - Berlin u.a.
PB  - Springer
PY  - 1993
PY  - 1993
LA  - English
KW  - Logic design
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Mathematical logic.
KW  - Machine theory.
KW  - Computer programming.
KW  - Mathematical Logic and Formal Languages
KW  - Programming Techniques
KW  - Computer Science
KW  - Mathematical Logic and Foundations
KW  - Logics and Meanings of Programs
KW  - Lambda
KW  - Congresses
KW  - Konferenzschrift
KW  - 1993
KW  - Utrecht
KW  - Typisierter Lambda-Kalkül
KW  - (DE-627)
SN  - 9783540475866
N1  - Literaturangaben
UR  - http://www.springerlink.com/content/m65g43120w1h
UR  - http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56517-8
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  -