<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-04-26 12:08:31Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-04-26 12:08:31Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence |
Add to Reading List |
Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg