|
|
|
|
| LEADER |
01566nam a2200325 a 4500 |
| 001 |
c000162673 |
| 003 |
CARM |
| 005 |
20000313204413.0 |
| 008 |
950202s1995 gw a b 101 0 eng |
| 010 |
|
|
|a 95005969
|
| 019 |
1 |
|
|a 11444619
|z 45192287
|5 LACONCORD2021
|
| 020 |
|
|
|a 038759048X
|b (New York : pbk. : acid-free paper)
|
| 020 |
|
|
|a 354059048X
|b (Berlin : =bk. : acid-free paper) :
|c DM 86
|
| 020 |
|
|
|a 354059048X
|b (Berlin : =bk. : acid-free paper) :
|
| 035 |
|
|
|a (OCoLC)32014143
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|
| 050 |
|
0 |
|a QA9.5
|b .I58 1995
|
| 082 |
0 |
0 |
|a 511.3
|2 20
|
| 111 |
2 |
|
|a International Conference on Typed Lambda Calculi and Applications
|n (2nd :,
|d 1995 :
|c Edinburgh, Scotland)
|
| 245 |
1 |
0 |
|a Typed lambda calculi and applications :
|b second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
|c Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1995.
|
| 300 |
|
|
|a viii, 442 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 902.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Lambda calculus
|x Congresses.
|
| 700 |
1 |
|
|a Plotkin, G.
|q (Gordon),
|d 1946-
|
| 700 |
1 |
|
|a Dezani-Ciancaglini, M.
|q (Mariangiola)
|
| 852 |
8 |
|
|b CARM
|h A2:AM07F0
|i C05500
|p 0214751
|f BK
|
| 999 |
f |
f |
|i 9092e97a-bd86-534f-aa4e-cc7e897266e1
|s c23f20aa-dcb3-5c07-986e-f2b72fe03e0c
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05500
|f A2:AM07F0
|h Other scheme
|i book
|m 0214751
|