Typed lambda calculi and applications
Typed lambda calculi and applications: International Conference on Typed Lamda [sic] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands: proceedings M. Bezem, J. F. Groote (eds.)
Publisher: Berlin ; Springer-Verlag, c1993.
ISBN: 0387565175
Edition: (New York : acid-free paper)
Notes:
Includes bibliographical references and index.
Book Details:
Language: eng
Physical Description: viii, 432 p. : ill. ; 24 cm.
Edition Info: (New York : acid-free paper)
Similar Books:
•
Logic Colloquium '82
(edited by G. Lolli, G. Longo, and A. Marcja; ISBN: 0444868763;
(U.S.); 100% match)
•
Typed lambda calculi and applications
(Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds; ISBN: 038759048X;
(New York : pbk. : acid-free paper); 100% match)
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
