Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science)
by Gordon Plotkin,Mariangiola Dezani-Ciancaglini
ISBN 13: 9783540590484
Format: Paperback (460 pages) Publisher: Springer Published: 17 Mar 1995
Save for later