Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom | Rare and modern books | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom | Rare and modern books | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Payment methods
- PayPal
- Credit card
- Bank transfer
- Pubblica amministrazione
- Carta del Docente
Details
- Year of publication
- 1995
- ISBN
- 9783540590484
- Place of printing
- New York
- Author
- Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
- Publishers
- Springer-Verlag
- Edition
- Reprint
- Keyword
- Computer Science
- Binding description
- Paperback
- State of preservation
- Very Good
- Languages
- English
- Binding
- Softcover
- First edition
- False
Description
Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK