Extending Martin-Löf Type Theory by one Mahlo-universe.

Saved in:

Bibliographic Details
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

Description
ISSN:	09335846
DOI:	10.1007/s001530050140