Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom

Author
Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Publisher
Springer
Subject
Computer Science
Year
1995
Vol/Edition
902
ISBN
9783540491781