No label defined (Q5438968)
From MaRDI portal
scientific article; zbMATH DE number 5233467
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5233467 |
Statements
8 February 2008
0 references
Martin-Löf type theory
0 references
proof theory
0 references
Kripke-Platek set theory
0 references
W-type
0 references
wellfounded trees
0 references
Kleene's O
0 references
Mahlo universe, inductive-recursive definitions, generic programming
0 references