Extending Martin-Löf Type Theory by one Mahlo-universe.
Saved in:
| Title: | Extending Martin-Löf Type Theory by one Mahlo-universe. |
|---|---|
| Authors: | Setzer, Anton |
| Source: | Archive for Mathematical Logic; 2000, Vol. 39 Issue 3, p155, 27p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
