MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS |
scientific article; zbMATH DE number 7657282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS |
scientific article; zbMATH DE number 7657282 |
Statements
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (English)
0 references
27 February 2023
0 references
Martin-Löf theory
0 references
comprehension category
0 references
algebraic weak factorisation system
0 references
0 references
