Typed Lambda Calculi And Applications 9th International Conference Tica 2009 Brasilia Brazil July 13 2009 Proceedings
Publisher: Springer
Published: 2009
ISBN-13: 9783642022722