Typed Lambda Calculi and Applications
Subtitle: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540320142
Subjects: Calculus