Typed Lambda Calculi and Applications
Subtitle: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540454137