From Semantics to Computer Science: Essays in Honour of Gilles Kahn
by
ISBN 13: 9780521518253
Format: Hardcover (594 pages) Publisher: Cambridge University Press Published: 24 Sep 2009
Save for later
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