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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!