01220nam|a2200301 i 4500 20260819085403.0 040920s1997 gw r 0100| eng | 3540626883 03029743 .b1161528x QA9.5 I58 1997 International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France) Typed lambda calculi and applications : third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote and J. Roger Hindley, eds. TLCA '97 Berlin : Springer, 1997 404 p. Lecture notes in computer science ; no. 1210 Lambda calculus Congresses Groote, Philippe de, ed. Hindley, J. Roger, ed. .b1161528x mngc - 170901 0 980303 m a - 0 mngc 14 Barcode : 30050120800924 CREATED : 1998-03-03 RECORD # : i12052747 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 1 TOT CHKOUT : 0 TOT RENEW : 0 123771 123771 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA9.5 I58 1997 30050120800924 2026-08-19 08:54:03 1 2026-08-19 14