Lambda calculus -- Congresses
Referred from 6 books
Books on this subject:
Here are some of the most recently loaded books on this subject, you can
also see all 6 matching
books on a separate page.
Typed lambda calculi and applications
Typed lambda calculi and applications: 5th international conference, TLCA 2001, KrakŪw, Poland, May 2-5, 2001: proceedings Samson Abramsky,
Publisher: New York : Springer, 2001.
ISBN: 3540419608
LCC: QA9.5
Edition: (acid-free paper)
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: 3540565175
Edition: (Berlin : acid-free paper)
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)
Subject structure:
Below you can see components of the subject along
with their types and similar subjects. Click on a subject component to
see other subjects that include it.
