Gå direkt till innehållet
Typed Lambda Calculi and Applications
Spara

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.
Undertitel
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Upplaga
2001 ed.
ISBN
9783540419600
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2001-04-20
Sidor
436