Tools

LEADER 01284cam 2200361 a 4500

001 ocm27429800;

003 OCoLC;

005 20141212100748.0;

008 930125s1993 mau b 001 0 eng ;

010 a| 93000281;

020 a| 0817636544 (Boston : acid-free);

020 a| 3764336544 (Basel : acid-free);

035 a| (Sirsi) o27429800;

035 a| (OCoLC)27429800;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267.3b| .C87 1993;

082 00 a| 005.13/12| 20;

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

245 10 a| Categorical combinators, sequential algorithms, and functional programming /c| Pierre-Louis Curien.;

250 a| 2nd ed.;

300 a| xx, 403 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Progress in theoretical computer science;

504 a| Includes bibliographical references (p. 381-394) and indexes.;

650 0 a| Formal languages.=| ^A16039;

830 0 a| Progress in theoretical computer science.=| ^A279350;

596 a| 1;

998 a| 475188;

999 a| QA267.3 .C87 1993w| LCc| 1i| 30372007538371d| 3/19/1996e| 1/29/1996l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 9/21/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien.

Author/creator	Curien, P.-L.
Format	Book
Edition	2nd ed.
Publication Info	Boston : Birkhäuser, ©1993.
Description	xx, 403 pages ; 25 cm.
Subjects	Formal languages.

Series	Progress in theoretical computer science Progress in theoretical computer science. ^A279350
Bibliography note	Includes bibliographical references (p. 381-394) and indexes.
LCCN	93000281
ISBN	0817636544 (Boston : acid-free)
ISBN	3764336544 (Basel : acid-free)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267.3 .C87 1993	✔ Available	Place Hold

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien.

Click here for more information about this title

Availability