Treatise on Intuitionistic Type Theory |
|
| Author:
| Granström, Johan Georg |
| Series title: | Logic, Epistemology, and the Unity of Science Ser. |
| ISBN: | 978-94-007-3639-9 |
| Publication Date: | Aug 2013 |
| Publisher: | Springer Netherlands
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $159.99 |
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.