Siirry suoraan sisältöön
Typed Lambda Calculi and Applications
Tallenna

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.
Alaotsikko
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Toimittaja
Samson Abramsky
Painos
2001 ed.
ISBN
9783540419600
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
20.4.2001
Sivumäärä
436