Tools

LEADER 01585cam a2200373 a 4500

001 ocm27641569;

003 OCoLC;

005 20141212100654.0;

008 930205s1993 gw a b 101 0 eng ;

010 a| 93021883;

020 a| 3540565175 (Berlin : acid-free paper);

020 a| 0387565175 (New York : acid-free paper);

035 a| (Sirsi) o27641569;

035 a| (OCoLC)27641569;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 511.32| 20;

111 2 a| International Conference on Typed Lambda Calculi and Applicationsd| (1993 :c| Utrecht, Netherlands)?| UNAUTHORIZED;

245 10 a| Typed lambda calculi and applications :b| International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings /c| M. Bezem, J.F. Groote (eds.).;

300 a| viii, 432 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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

700 1 a| Bezem, M.q| (Marc),d| 1956-=| ^A318159;

700 1 a| Groote, J. F.q| (Jan Friso),d| 1965-=| ^A282041;

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

596 a| 1;

998 a| 474352;

999 a| QA9.5 .I58 1993w| LCc| 1i| 30372007526491d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 9/14/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem, J.F. Groote (eds.).

Author/creator	International Conference on Typed Lambda Calculi and Applications
Other author	Bezem, M. (Marc), 1956-
Other author	Groote, J. F. (Jan Friso), 1965-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	viii, 432 pages : illustrations ; 24 cm.
Subjects	Lambda calculus--Congresses.

Series	Lecture notes in computer science ; 664 Lecture notes in computer science 664. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	93021883
ISBN	3540565175 (Berlin : acid-free paper)
ISBN	0387565175 (New York : acid-free paper)

Availability

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

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem, J.F. Groote (eds.).

Click here for more information about this title

Availability