Treatise on intuitionistic type theory
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. This book expounds several aspects of intuitionistic type theory, suc...
| Main Author: | Granström, Johan Georg. |
|---|---|
| Other Authors: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer,
©2011.
Dordrecht : [2011] |
| Physical Description: |
1 online resource (xiii, 196 pages) : illustrations. |
| Series: |
Logic, epistemology and the unity of science ;
vol. 22. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |