Name: Twenty Five Years of Constructive Type Theory By Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)
SKU: 9780198501275
Price: 129.89 USD
Availability: InStock

Twenty Five Years of Constructive Type Theory Summary

Twenty Five Years of Constructive Type Theory by Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Per Martin-Loef's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Loef over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Loef's earliest papers.

Twenty Five Years of Constructive Type Theory Reviews

The book presents a good survey of the current state of the subject. * EMS Newsletter *

1. Yet another constructivization of classical logic ; 2. Extension of Martin-Lof's type theory with record types ; 3. Type-theoretical checking and philosophy of mathematics ; 4. The Hahn-Banach theorem in type theory ; 5. A realizability interpretation of Martin-Lof's type theory ; 6. The groupoid interpretation of type theory ; 7. An intuitionistic theory of types ; 8. Analytic program derivation in type theory ; 9. About storage operators ; 10. On universes in type theory ; 11. How to believe a machine-checked proof ; 12. Building up a toolbox for Martin-Lof's type theory: subset theory ; 13. An introduction to well-ordering proofs in Martin-Lof's type theory ; 14. Variable-free formalization of the Curry-Howard theory ; 15. The forget-restore principle: a paradigmatic example

Additional information

Sku

NPB9780198501275

ISBN 13

9780198501275

ISBN 10

0198501277

Title

Twenty Five Years of Constructive Type Theory by Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Author

Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Series

Oxford Logic Guides

Condition

New

Binding type

Hardback

Publisher

Oxford University Press

Year published

1998-10-15

Number of pages

292

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Twenty Five Years of Constructive Type Theory Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Twenty Five Years of Constructive Type Theory by Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Summary

Twenty Five Years of Constructive Type Theory Summary

Twenty Five Years of Constructive Type Theory by Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua)

Twenty Five Years of Constructive Type Theory Reviews

Table of Contents

Additional information

Customer Reviews - Twenty Five Years of Constructive Type Theory