The metatheory of UTT (Q6061874)
From MaRDI portal
scientific article; zbMATH DE number 7774799
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The metatheory of UTT |
scientific article; zbMATH DE number 7774799 |
Statements
The metatheory of UTT (English)
0 references
8 December 2023
0 references
inductive hypothesis
0 references
type theory
0 references
operational semantic
0 references
logical framework
0 references
inductive type
0 references
