Tools

LEADER 01447cam 22004098a 4500

001 ocm30734611;

003 OCoLC;

005 20141212115735.0;

008 940616s1994 enk b 001 0 eng ;

010 a| 94028188;

015 a| GB94-87303;

019 a| 31518202;

020 a| 0198538413 :c| $45.00;

020 a| 0198538405 (pbk.) :c| $22.50 (U.S.);

035 a| (Sirsi) o30734611;

035 a| (OCoLC)30734611;

049 a| EREE;

050 00 a| QA9.5b| .H36 1994;

082 00 a| 511.32| 20;

100 1 a| Hankin, Chris.=| ^A363215;

245 10 a| Lambda calculi :b| a guide for computer scientists /c| Chris Hankin.;

250 a| 1st ed.;

300 a| xiii, 162 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Oxford science publications;

490 1 a| Graduate texts in computer science ;v| 3;

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

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

830 0 a| Graduate texts in computer science ;v| 3.=| ^A313148;

830 0 a| Oxford science publications.=| ^A13245;

596 a| 1;

998 a| 577260;

999 a| QA9.5 .H36 1994w| LCc| 1i| 30372008994482d| 1/31/2013e| 12/6/2003l| JGESm| JOYNERn| 3p| $55.25q| 1r| Ys| Yt| JGESBKu| 5/31/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Lambda calculi : a guide for computer scientists / Chris Hankin.

Author/creator	Hankin, Chris
Format	Book
Edition	1st ed.
Publication Info	Oxford [England] : Clarendon Press ; New York : Oxford University Press, ©1994.
Description	xiii, 162 pages ; 24 cm.
Subjects	Lambda calculus.

Series	Oxford science publications Graduate texts in computer science ; 3 Graduate texts in computer science ; 3. ^A313148 Oxford science publications. ^A13245
Bibliography note	Includes bibliographical references (p. [157]-158) and index.
LCCN	94028188
ISBN	0198538413 :
ISBN	0198538405 (pbk.) :

Lambda calculi : a guide for computer scientists / Chris Hankin.

Click here for more information about this title