Placeholder text

Go to cart

Twenty-Five Years of Constructive Type Theory

By Giovanni Sambin

Twenty-Five Years of Constructive Type Theory

By Giovanni Sambin

0 - Default Title
Description
Per Martin-Lof's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and 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-Lof 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 current activity and includes 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-Lof's earliest papers.
Product details
Edition:
1
Number of Pages:
292
Release Date:
1998-12-10
Publication Date:
1998-10-15
Publisher:
OUP Oxford
Languages:
Original: English
ISBN10:
0198501277
ISBN13:
9780198501275
GPSR Manufacturer Reference:
[email protected]
Weight:
605 g
Height:
161 cm
Width:
240 cm
Thickness:
20 cm
Buy on Amazon
Currently sold out