國立高雄大學圖資館 |

Language: English

Back

Categorical logic and type theory

Record Type:	Electronic resources : Monograph/item
Title/Author:	Categorical logic and type theoryBart Jacobs.
Author:	Jacobs, Bart.
Published:	Amsterdam ;Elsevier Science,c1999.
Description:	1 online resource (xviii, 760 p.) :ill.
Subject:	Type theory.
Online resource:	http://www.sciencedirect.com/science/book/9780444501707
Online resource:	http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141
ISBN:	9780444501707

Categorical logic and type theory
Jacobs, Bart.

Categorical logic and type theory[electronic resource] /Bart Jacobs. - 1st ed. - Amsterdam ;Elsevier Science,c1999. - 1 online resource (xviii, 760 p.) :ill. - Studies in logic and the foundations of mathematics ;v. 141. - Studies in logic and the foundations of mathematics ;v. 12..

Includes bibliographical references (p. 717-733) and indexes.

<IT>Chapter Headings only.</IT> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

ISBN: 9780444501707

Source: 118794:127317Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

515897
Type theory.
Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: QA9 / .J27 1999eb

Dewey Class. No.: 511.3

Categorical logic and type theory
LDR:02544cmm 2200457Ia 4500 001 354431
005 20120813081226.0
006 m d
007 cr cn|||||||||
008 130104s1999 ne a ob 001 0 eng d
019 $a 441801312 $a 609273688 $a 779919296
020 $a 9780444501707
020 $a 0444501703
020 $a 9786611048266
020 $a 661104826X
020 $a 0080528708 (electronic bk.)
020 $a 9780080528700 (electronic bk.)
029 1 $a NZ1 $b 12432745
029 1 $a AU@ $b 000048130237
029 1 $a DEBBG $b BV039830118
035 $a ocn162130542
037 $a 118794:127317 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $b eng $c OPELS $d MERUC $d OCLCE $d E7B $d OCLCQ $d OPELS $d IDEBK $d OCLCQ $d TULIB $d OCLCO
049 $a NTYA
050 4 $a QA9 $b .J27 1999eb
072 7 $a QA $2 lcco
082 0 4 $a 511.3 $2 22
084 $a 31.10 $2 bcl
100 1 $a Jacobs, Bart. $3 586584
245 1 0 $a Categorical logic and type theory $h [electronic resource] / $c Bart Jacobs.
250 $a 1st ed.
260 $a Amsterdam ; $a New York : $b Elsevier Science, $c c1999.
300 $a 1 online resource (xviii, 760 p.) : $b ill.
490 1 $a Studies in logic and the foundations of mathematics ; $v v. 141
504 $a Includes bibliographical references (p. 717-733) and indexes.
505 0 $a <IT>Chapter Headings only.</IT> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
520 $a This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
588 $a Description based on print version record.
650 0 $a Type theory. $3 515897
650 0 $a Categories (Mathematics) $3 206297
650 6 $a Types, Th�eorie des. $3 586585
650 6 $a Cat�egories (Math�ematiques) $3 536413
650 1 7 $a Typentheorie. $2 gtt $3 586586
650 1 7 $a Wiskundige logica. $2 gtt. $3 237106
655 4 $a Electronic books. $2 local. $3 214472
776 0 8 $i Print version: $a Jacobs, Bart. $t Categorical logic and type theory. $b 1st ed. $d Amsterdam ; New York : Elsevier Science, c1999 $z 0444501703 $z 9780444501707 $w (DLC) 98043478 $w (OCoLC)40298312
830 0 $a Studies in logic and the foundations of mathematics ; $v v. 12. $3 536138
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/book/9780444501707
856 $z Full text $u http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141
938 $a ebrary $b EBRY $n ebr10206564
938 $a Ingram Digital eBook Collection $b IDEB $n 104826