skip to content
Categorical logic and type theory Preview this item
ClosePreview this item
Checking...

Categorical logic and type theory

Author: Bart Jacobs
Publisher: Amsterdam ; New York : Elsevier Science, ©1999.
Series: Studies in logic and the foundations of mathematics, v. 141.
Edition/Format:   eBook : Document : English : 1st edView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Jacobs, Bart.
Categorical logic and type theory.
Amsterdam ; New York : Elsevier Science, ©1999
(DLC) 98043478
(OCoLC)40298312
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bart Jacobs
ISBN: 9780444501707 0444501703 0080528708 9780080528700
OCLC Number: 162130542
Language Note: English.
Description: 1 online resource (xviii, 760 pages) : illustrations.
Contents: <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.
Series Title: Studies in logic and the foundations of mathematics, v. 141.
Responsibility: Bart Jacobs.

Abstract:

This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/162130542> # Categorical logic and type theory
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "162130542" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26221504#Place/amsterdam> ; # Amsterdam
    schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
    schema:about <http://experiment.worldcat.org/entity/work/data/26221504#Topic/typentheorie> ; # Typentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/26221504#Topic/categories_mathematiques> ; # Catégories (Mathématiques)
    schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/26221504#Topic/types_theorie_des> ; # Types, Théorie des
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/26221504#Topic/wiskundige_logica> ; # Wiskundige logica
    schema:bookEdition "1st ed." ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "1999" ;
    schema:creator <http://viaf.org/viaf/12476036> ; # Bart Jacobs
    schema:datePublished "1999" ;
    schema:description "Chapter Headings only. 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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/26221504> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26221504#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/40298312> ;
    schema:name "Categorical logic and type theory"@en ;
    schema:productID "162130542" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162130542#PublicationEvent/amsterdam_new_york_elsevier_science_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/26221504#Agent/elsevier_science> ; # Elsevier Science
    schema:url <http://site.ebrary.com/id/10206564> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=317101> ;
    schema:url <https://ebookcentral.proquest.com/lib/bath/detail.action?docID=317101> ;
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141> ;
    schema:url <http://www.myilibrary.com?id=104826&ref=toc> ;
    schema:url <http://www.myilibrary.com?id=104826> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444501707> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/141> ;
    schema:url <http://0-www.sciencedirect.com.pugwash.lib.warwick.ac.uk/science/bookseries/0049237X/141> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/141> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=http://www.sciencedirect.com/science/book/9780444501707> ;
    schema:workExample <http://worldcat.org/isbn/9780080528700> ;
    schema:workExample <http://worldcat.org/isbn/9780444501707> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162130542> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/26221504#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
    schema:name "Elsevier Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/26221504#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/162130542> ; # Categorical logic and type theory
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26221504#Topic/categories_mathematiques> # Catégories (Mathématiques)
    a schema:Intangible ;
    schema:name "Catégories (Mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/26221504#Topic/types_theorie_des> # Types, Théorie des
    a schema:Intangible ;
    schema:name "Types, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/26221504#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/1159972> # Type theory
    a schema:Intangible ;
    schema:name "Type theory"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
    schema:name "Categories (Mathematics)"@en ;
    .

<http://viaf.org/viaf/12476036> # Bart Jacobs
    a schema:Person ;
    schema:familyName "Jacobs" ;
    schema:givenName "Bart" ;
    schema:name "Bart Jacobs" ;
    .

<http://worldcat.org/isbn/9780080528700>
    a schema:ProductModel ;
    schema:isbn "0080528708" ;
    schema:isbn "9780080528700" ;
    .

<http://worldcat.org/isbn/9780444501707>
    a schema:ProductModel ;
    schema:isbn "0444501703" ;
    schema:isbn "9780444501707" ;
    .

<http://www.worldcat.org/oclc/40298312>
    a schema:CreativeWork ;
    rdfs:label "Categorical logic and type theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162130542> ; # Categorical logic and type theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.