Treatise on Intuitionistic Type Theory |
|
Author:
| Granström, Johan Georg |
Series title: | Logic, Epistemology, and the Unity of Science Ser. |
ISBN: | 978-94-007-1736-7 |
Publication Date: | Jun 2011 |
Publisher: | Springer London, Limited
|
Book Format: | Ebook |
List Price: | USD $209.00 |
Book Description:
|
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.