Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer Science (3461), Band 3461)

Applications

von Pawel Urzyczyn

Taschenbuch

ISBN-13: 978-3-540-25593-2

ISBN-10: 3-540-25593-1

Springer Berlin Heidelberg · 2010