Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Electronic Book
Author Jacobs, Bart.

Title Categorical logic and type theory / Bart Jacobs.

Imprint Amsterdam ; New York : Elsevier Science, ©1999.

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Edition 1st ed.
Description 1 online resource (xviii, 760 pages) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series Studies in logic and the foundations of mathematics ; v. 141
Studies in logic and the foundations of mathematics ; v. 141.
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.
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.
Bibliography Includes bibliographical references (pages 717-733) and indexes.
Note Print version record.
Language English.
Subject Type theory.
Categories (Mathematics)
Théorie des types.
Catégories (Mathématiques)
Categories (Mathematics)
Type theory
Typentheorie.
Wiskundige logica.
Other Form: Print version: Jacobs, Bart. Categorical logic and type theory. 1st ed. Amsterdam ; New York : Elsevier Science, ©1999 0444501703 9780444501707 (DLC) 98043478 (OCoLC)40298312
ISBN 9780444501707
0444501703
0080528708 (electronic bk.)
9780080528700 (electronic bk.)
Standard No. AU@ 000048130237
CHNEW 001005696
DEBBG BV036962250
DEBBG BV039830118
DEBBG BV042317266
DEBSZ 276877128
DEBSZ 482351896
NZ1 12432745
NZ1 15192830

 
    
Available items only