ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (Q5249285)
From MaRDI portal
scientific article; zbMATH DE number 6432509
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" |
scientific article; zbMATH DE number 6432509 |
Statements
ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (English)
0 references
30 April 2015
0 references
