机读格式显示(MARC)
- 000 01372cam 2200337 a 4500
- 008 061115s2001 gw a b 101 0 eng
- 020 __ |a 3540419608 (pbk.)
- 040 __ |a DLC |c DLC |d OHX |d CUS |d C#P |d UKM |d C$Q |d CVU |d SCT
- 050 00 |a QA9.5 |b .I58 2001
- 093 __ |a TP301.6-532 |2 4
- 099 __ |a CAL 022001397789 |a CAL 022001420894 |a CAL 022001460348
- 111 2_ |a International Conference on Typed Lambda Calculi and Applications |n (5th : |d 2001 : |c Kraków, Poland)
- 245 10 |a Typed lambda calculi and applications : |b 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / |c Samson Abramsky (ed.).
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.
- 300 __ |a xi, 429 p. : |b ill. ; |c 24 cm.
- 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2044
- 504 __ |a Includes bibliographical references and index.
- 530 __ |a Also available by subscription via the World Wide Web.
- 650 _0 |a Lambda calculus |v Congresses.
- 700 1_ |a Abramsky, Samson, |d 1953-
- 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2044&issue=preprint |z Springer LINK version
- 950 __ |a JHUL |b TP301.6 |c T991