01237nam|a2200289 i 4500 20260819085403.0 040920s1995 gw r 0100|0 eng | 354059048x .b11458136 QA9.5 I58 1995 International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, UK) 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 and Gordon Plotkin, eds. TLCA'95 Berlin : Springer, 1995 442 p. Lecture notes in computer science ; no. 902 Lambda calculus congresses Dezani-Ciancaglini, Mariangiola, ed. Plotkin, Gordon, 1946- , ed. .b11458136 mngc - 121011 0 960112 m a - 0 mngc 14 Barcode : 30050003169108 CREATED : 1996-12-01 RECORD # : i11708463 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 123770 123770 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA9.5 I58 1995 30050003169108 2026-08-19 08:54:03 1 2026-08-19 14