Tools

LEADER 01850cam a22004574a 4500

001 ocm52268875;

003 OCoLC;

005 20141212171831.0;

007 cr un---------;

008 030512s2003 gw a b 001 0 eng ;

010 a| 2003052970;

020 a| 3540403329 (pbk. : acid-free paper);

035 a| (Sirsi) o52268875;

035 a| (OCoLC)52268875;

040 a| DLCc| DLCd| C$Qd| OHXd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

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

082 00 a| 511.32| 21;

111 2 a| International Conference on Typed Lambda Calculi and Applicationsn| (6th :d| 2003 :c| Valencia, Spain)?| UNAUTHORIZED;

245 10 a| Typed lambda calculi and applications :b| 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings /c| Martin Hofmann (ed.).;

246 30 a| TLCA 2003;

300 a| viii, 315 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| 2701;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Hofmann, Martin,d| 1965-=| ^A559915;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2701.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har035018577c| 49.22 EUR;

980 a| 2003-08-27b| 58d| 3.86e| 55.1f| 253979;

596 a| 1;

998 a| 919724;

999 a| QA9.5 .I58 2001w| LCc| 1i| 30372012040645d| 1/31/2013l| JGESm| JOYNERp| $55.10q| 1r| Ys| Yt| JGESBKu| 9/15/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).

Author/creator	International Conference on Typed Lambda Calculi and Applications
Other author	Hofmann, Martin, 1965-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	viii, 315 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Lambda calculus--Congresses.

Portion of title	TLCA 2003
Series	Lecture notes in computer science ; 2701 Lecture notes in computer science 2701. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2003052970
ISBN	3540403329 (pbk. : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.5 .I58 2001	✔ Available	Place Hold

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.).

Click here for more information about this title

Availability