Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)
Format: kindle
ASIN: B000W6F9NK
Publish date: June 13th 2008
Publisher: Springer
Pages no: 397
Edition language: English