机读格式显示(MARC)

• 000 01419cam 2200349 a 4500

• 000 1000078256

• 001 0000302102

• 005 20060222140021.0

• 008 010412s2001 gw a b 101 0 eng

• 010 __ |a 2001031431

• 020 __ |a 3540419608 (pbk.) : |c CNY400.00

• 040 __ |a DLC |c DLC |d OHX |d CUS |d C#P |d UKM |d C$Q |d CVU |d SCT

• 042 __ |a pcc

• 050 00 |a QA9.5 |b .I58 2001

• 082 00 |a 511.3 |2 21

• 090 __ |a TP301.6-53/ICT

• 093 __ |a TP301.6-53 |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.).

• 246 30 |a TLCA 2001

• 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-

• 901 __022006000124

• 905 __ |a CAU |f TP301.6-53/ICT |b W0075082(or.)

• 907 __ |a CAU |f TP301.6-53/ICT |b W0075082(or.)

• 999 __ |t C |A xy1 |a 20060222 13:58:00 |I xy1 |i 20060222 14:00:21 |G wzhlc |g 20060320 16:50:4