Reduction Free Normalisation for a proof irrelevant type of propositions (Q6135773)
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: Reduction Free Normalisation for a proof irrelevant type of propositions |
scientific article; zbMATH DE number 7731933
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduction Free Normalisation for a proof irrelevant type of propositions |
scientific article; zbMATH DE number 7731933 |
Statements
Reduction Free Normalisation for a proof irrelevant type of propositions (English)
0 references
26 August 2023
0 references
dependent type theory
0 references
presheaf models
0 references
normalization
0 references
0 references
