View in EDS HTML Full Text PDF Full Text

The extended predicative Mahlo universe in Martin-Löf type theory.

Saved in:

Bibliographic Details
Title:	The extended predicative Mahlo universe in Martin-Löf type theory.
Authors:	Dybjer, Peter¹, Setzer, Anton²
Source:	Journal of Logic & Computation; Sep2024, Vol. 34 Issue 6, p1032-1063, 32p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exad022