close
Twenty Five Years of Constructive Type Theory | Zookal Textbooks | Zookal Textbooks
  • Author(s) Giovanni Sambin / Jan M. Smith
  • Edition
  • Published17th August 1998
  • PublisherOxford University Press UK
  • ISBN9780198501275
Per Martin-Löf'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-Löf 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-Löf's earliest papers.

Twenty Five Years of Constructive Type Theory

Format
Print on Demand

Leaves 10-15 days after printing

$109.37 $123.95 Save $14.58
or 4 payments of $27.34 with Zookal accepts Afterpay
Add Zookal Study FREE trial and save a further 10% 

NEW PRICE

$98.43 + free shipping

(10% off - save $10.94)

Zookal Study Free trial

14-day FREE trial. $14.95/mo after. Cancel anytime.

*Discount will apply at checkout.

 See terms and conditions

You will get a further 10% off for this item ($98.43 after discount) because you have added Zookal Study Premium Free Trial to your bag.

For this discount to apply, you will need to complete checkout with the Zookal Study Premium Free Trial in your bag.

-
+
  • Author(s) Giovanni Sambin / Jan M. Smith
  • Edition
  • Published17th August 1998
  • PublisherOxford University Press UK
  • ISBN9780198501275
Per Martin-Löf'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-Löf 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-Löf's earliest papers.
translation missing: en.general.search.loading