Tools

LEADER 01841cam 22004694a 4500

001 ocm46785300;

003 OCoLC;

005 20141212154702.0;

007 cr unu--------;

008 010412s2001 gw a b 101 0 eng ;

010 a| 2001031431;

020 a| 3540419608 (acid-free paper);

035 a| (Sirsi) o46785300;

035 a| (OCoLC)46785300;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 511.32| 21;

111 2 a| International Conference on Typed Lambda Calculi and Applicationsn| (5th :d| 2001 :c| Kraków, Poland)?| UNAUTHORIZED;

245 10 a| Typed lambda calculi and applications :b| 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /c| Samson Abramsky (ed.).;

246 30 a| TLCA 2001;

300 a| xi, 429 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2044;

504 a| Includes bibliographical references and index.;

530 a| Also available by subscription via the World Wide Web.;

650 0 a| Lambda calculusv| Congresses.=| ^A173635;

700 1 a| Abramsky, Samson,d| 1953-=| ^A486580;

830 0 a| Lecture notes in computer sciencev| 2044.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2044.htm;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har015013768c| 102.00 DEM;

980 a| 2001-06-27b| 69d| 3.93e| 65.55f| 856098;

596 a| 1;

998 a| 834885;

999 a| QA9.5 .I58 2001w| LCc| 1i| 30372011191522d| 1/31/2013l| JGESm| JOYNERp| $65.55q| 1r| Ys| Yt| JGESBKu| 7/23/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.).

Author/creator	International Conference on Typed Lambda Calculi and Applications
Other author	Abramsky, Samson, 1953-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2001.
Description	xi, 429 pages : illustrations ; 24 cm.
Supplemental Content	http://link.springer-ny.com/link/service/series/0558/tocs/t2044.htm
Subjects	Lambda calculus--Congresses.

Portion of title	TLCA 2001
Series	Lecture notes in computer science ; 2044 Lecture notes in computer science 2044. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available by subscription via the World Wide Web.
LCCN	2001031431
ISBN	3540419608 (acid-free paper)

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.).

Click here for more information about this title