Weak Theories of Operations and Types (Q4870065)
From MaRDI portal
scientific article; zbMATH DE number 856905
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weak Theories of Operations and Types |
scientific article; zbMATH DE number 856905 |
Statements
Weak Theories of Operations and Types (English)
0 references
17 March 1996
0 references
constructive type theory
0 references
proof-theoretic strength
0 references
constructive functional programming
0 references
