Typed Lambda Calculi and Applications
Subtitle: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Publisher: Springer
Published: Jun 06, 2013
Format: paperback
Number of pages: 263
ISBN-13: 9783642389450
Notes: Source title: Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science (7941))