01140nam|a2200277 i 4500 20260819085403.0 040920s1993 gw r 0100|0 eng d 3540565175 .b10748490 QA9.5 I58 1993 International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, The Netherlands) Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications TLCA'93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem and J. F. Groote, eds. TLCA'93 Berlin : Springer, 1993 432 p. Lecture notes in computer science ; no. 664 Lambda calculus Congresses Bezem, Marc, ed. .b10748490 mngc - 121011 1 960201 m a - 0 mngc 14 Barcode : 30050003169116 CREATED : 1995-10-16 RECORD # : i10959786 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 123769 123769 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA9.5 I58 1993 30050003169116 2026-08-19 08:54:03 1 2026-08-19 14