Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Twenty Five Years of Constructive Type Theory (Hardcover)
Loot Price: R2,765
Discovery Miles 27 650
You Save: R526
(16%)
|
|
Twenty Five Years of Constructive Type Theory (Hardcover)
Series: Oxford Logic Guides, 36
Expected to ship within 12 - 17 working days
|
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.