Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Keywords
Table of contents (29 papers)
Bibliographic Information
Book Title: Typed Lambda Calculi and Applications
Book Subtitle: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 1618, 1993, Utrecht, The Netherlands. Proceedings
Editors: Marc Bezem, Jan Friso Groote
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0037093
Publisher: Springer Berlin, Heidelberg

eBook Packages: Springer Book Archive
Copyright Information: SpringerVerlag Berlin Heidelberg 1993
Softcover ISBN: 9783540565178Published: 03 March 1993
eBook ISBN: 9783540475866Published: 11 April 2006
Series ISSN: 03029743
Series EISSN: 16113349
Edition Number: 1
Number of Pages: IX, 443
Topics: Theory of Computation, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques