Tools

LEADER 01644cam a2200433Ia 4500

001 ocm82212913;

003 OCoLC;

005 20141212002233.0;

008 070207s2006 njua b 001 0 eng d;

010 a| 2007298163;

020 a| 9812701427;

020 a| 9789812701428;

029 1 a| YDXCPb| 2476973;

029 1 a| NLGGCb| 298466619;

035 a| (Sirsi) o82212913;

035 a| (OCoLC)82212913;

049 a| EREE;

050 00 a| QA76.7b| .S818 2006;

082 04 a| 005.13/12| 22;

084 a| 54.512| bcl;

100 1 a| Streicher, Thomas,d| 1958-=| ^A766029;

245 10 a| Domain-theoretic foundations of functional programming /c| Thomas Streicher.;

300 a| x, 120 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 117-118) and index.;

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

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

856 41 3| Table of contents onlyu| http://www.loc.gov/catdir/toc/fy0715/2007298163.html;

994 a| C0b| ERE;

938 a| Baker & Taylorb| BKTYc| 28.00d| 28.00i| 9812701427n| 0007017637s| active;

938 a| YBP Library Servicesb| YANKn| 2476973;

938 a| Baker and Taylorb| BTCPn| BK0007017637;

596 a| 1;

998 a| 1343736;

999 a| QA76.7 .S818 2006w| LCc| 1i| 30372014304916d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $28.00r| Ys| Yt| JGESBKu| 12/13/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Domain-theoretic foundations of functional programming / Thomas Streicher.

Author/creator	Streicher, Thomas, 1958-
Format	Book
Publication Info	Hackensack, NJ : World Scientific, ©2006.
Description	x, 120 pages : illustrations ; 24 cm
Supplemental Content	Table of contents only
Subjects	Programming languages (Electronic computers)--Semantics. Computer science--Mathematics.

Bibliography note	Includes bibliographical references (p. 117-118) and index.
LCCN	2007298163
ISBN	9812701427
ISBN	9789812701428

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.7 .S818 2006	✔ Available	Place Hold

Domain-theoretic foundations of functional programming / Thomas Streicher.

Click here for more information about this title

Availability