Tools

LEADER 01388cam 2200385Ia 4500

001 ocm19603784;

005 20141212062603.0;

008 890426s1989 enk 001 0 eng d;

020 a| 0521371813;

035 a| (Sirsi) o19603784;

035 a| (OCoLC)20170936;

040 a| RCEc| RCEd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA9.54b| .G572x 1989;

100 1 a| Girard, Jean-Yves.=| ^A241732;

245 10 a| Proofs and types /c| Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1989.;

300 a| xi, 176 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

500 a| Includes index.;

504 a| Bibliography: p. 162-165.;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Type theory.=| ^A32232;

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

650 0 a| Combinatory logic.=| ^A49165;

700 1 a| Taylor, Paul.=| ^A163033;

700 1 a| Lafont, Yves.=| ^A241733;

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

919 a| BOOK;

596 a| 1;

998 a| 340893;

999 a| QA9.54.G572X 1989w| LCc| 1i| 30372005211518d| 1/31/2013e| 2/23/1995l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 3/22/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont.

Author/creator	Girard, Jean-Yves
Other author	Taylor, Paul.
Other author	Lafont, Yves.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1989.
Description	xi, 176 pages ; 26 cm.
Subjects	Proof theory. Type theory. Lambda calculus. Combinatory logic.

Series	Cambridge tracts in theoretical computer science ; 7 Cambridge tracts in theoretical computer science ; 7. ^A221007
General note	Includes index.
Bibliography note	Bibliography: p. 162-165.
ISBN	0521371813

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.54.G572X 1989	✔ Available	Place Hold

Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont.

Click here for more information about this title

Availability