Tools

LEADER 01383cam 2200373 a 4500

001 ocm39894178;

003 OCoLC;

005 20141212130158.0;

008 980918s1998 enk b 001 0 eng d;

010 a| 98212250;

020 a| 0521622778 (hardback);

035 a| (Sirsi) o39894178;

035 a| (OCoLC)39894178;

040 a| OrBGc| DLCd| EREd| UtOrBLW;

042 a| lccopycat;

049 a| EREE;

050 00 a| QA9.5b| .A43 1998;

082 00 a| 511.32| 21;

100 1 a| Amadio, Roberto M.=| ^A404255;

245 10 a| Domains and lambda-calculi /c| Roberto M. Amadio, Pierre-Louis Curien.;

260 a| Cambridge, U.K. ;a| New York :b| Cambridge University Press,c| 1998.;

300 a| xvi, 484 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 46;

504 a| Includes bibliographical references (p. [469]-479) and index.;

650 0 a| Lambda calculus.=| ^A173635;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

700 1 a| Curien, P.-L.q| (Pierre-Louis)=| ^A193598;

830 0 a| Cambridge tracts in theoretical computer science ;v| 46.=| ^A221007;

596 a| 1;

998 a| 637256;

999 a| QA9.5 .A43 1998w| LCc| 1i| 30372010288824d| 1/31/2013l| JGESm| JOYNERp| $62.96q| 1r| Ys| Yt| JGESBKu| 10/2/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien.

Author/creator	Amadio, Roberto M.
Other author	Curien, P.-L. (Pierre-Louis)
Format	Book
Publication Info	Cambridge, U.K. ; New York : Cambridge University Press, 1998.
Description	xvi, 484 pages ; 24 cm.
Subjects	Lambda calculus. Programming languages (Electronic computers)--Semantics.

Series	Cambridge tracts in theoretical computer science ; 46 Cambridge tracts in theoretical computer science ; 46. ^A221007
Bibliography note	Includes bibliographical references (p. [469]-479) and index.
LCCN	98212250
ISBN	0521622778 (hardback)

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

Click here for more information about this title