logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings - Jean-Yves Girard
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
by: (author)
Format: paperback
ISBN: 9783540657637 (3540657630)
Publisher: Springer
Pages no: 404
Edition language: English
Bookstores:
Books by Jean-Yves Girard
Share this Book
Need help?