Gå direkte til innholdet
Typed Lambda Calculi and Applications
Spar

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001.
Undertittel
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Opplag
2001 ed.
ISBN
9783540419600
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.4.2001
Antall sider
436