Logic Colloquium '82
Logic Colloquium '82: proceedings of the colloquium held in Florence, 23-28 August, 1982
edited by G. Lolli, G. Longo, and A. Marcja
Publisher: Amsterdam ; North-Holland ; 1984.
ISBN: 0444868763
DDC: 511.8
LCC: QA9.7
Edition: (U.S.)
Typed lambda calculi and applications
Typed lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
Publisher: Berlin ; Springer-Verlag, c1995.
ISBN: 038759048X
DDC: 511.3
LCC: QA9.5
Edition: (New York : pbk. : acid-free paper)
Typed lambda calculi and applications
Typed lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
Publisher: Berlin ; Springer-Verlag, c1995.
ISBN: 354059048X
DDC: 511.3
LCC: QA9.5
Edition: (Berlin : =bk. : 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)
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)
