Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science (2701), Band 2044)

Applications

von Martin Hofmann

Taschenbuch

ISBN-13: 978-3-540-40332-6

ISBN-10: 3-540-40332-9

Springer Berlin Heidelberg · 2008