Skip to main content
SpringerLink
Log in
Book cover

History and Philosophy of Constructive Type Theory

  • Book
  • © 2000

Overview

Authors:
  1. Giovanni Sommaruga

    1. Albert-Ludwigs University, Freiburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 290)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. The Present Version of Constructive Type Theory (1995)

    • Giovanni Sommaruga
    Pages 1-166

  3. Metatheoretical Considerations

    • Giovanni Sommaruga
    Pages 167-217

  4. History of Constructive Type Theory (1970–95)

    • Giovanni Sommaruga
    Pages 219-310

  5. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970)

    • Giovanni Sommaruga
    Pages 311-346

  6. Conclusion

    • Giovanni Sommaruga
    Pages 347-348

  7. Back Matter

    Pages 349-367
    Download chapter PDF
Back to top

Keywords

About this book

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

Authors and Affiliations

  • Albert-Ludwigs University, Freiburg, Germany

    Giovanni Sommaruga

Bibliographic Information

  • Book Title: History and Philosophy of Constructive Type Theory

  • Authors: Giovanni Sommaruga

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-015-9393-9

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media B.V. 2000

  • Hardcover ISBN: 978-0-7923-6180-0Published: 31 July 2000

  • Softcover ISBN: 978-90-481-5403-6Published: 07 December 2010

  • eBook ISBN: 978-94-015-9393-9Published: 09 March 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: X, 367

  • Topics: Logic, Ethics, Phenomenology, History, general

Publish with us

Policies and ethics

Back to top

Search

Navigation