The justification of identity elimination in Martin-Löf's type theory (Q2288279)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The justification of identity elimination in Martin-Löf's type theory |
scientific article |
Statements
The justification of identity elimination in Martin-Löf's type theory (English)
0 references
17 January 2020
0 references
justification of logical laws
0 references
type theory
0 references
identity
0 references
