Typed Lambda Calculi and Applications | 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings | ISBN 9783540657637

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

herausgegeben von Jean-Yves Girard
Buchcover Typed Lambda Calculi and Applications  | EAN 9783540657637 | ISBN 3-540-65763-0 | ISBN 978-3-540-65763-7

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

herausgegeben von Jean-Yves Girard
Includes supplementary material: sn. pub/extras