No label defined (Q4880141)
From MaRDI portal
scientific article; zbMATH DE number 883893
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 883893 |
Statements
13 January 1998
0 references
recursive model
0 references
Martin-Löf's type theory
0 references
