Type Theories from Barendregt’s Cube for Theorem Provers (Q5251190)
From MaRDI portal
scientific article; zbMATH DE number 6439452
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type Theories from Barendregt’s Cube for Theorem Provers |
scientific article; zbMATH DE number 6439452 |
Statements
Type Theories from Barendregt’s Cube for Theorem Provers (English)
0 references
22 May 2015
0 references
Barendengt's \(\lambda\)-cube
0 references
typed \(\lambda\)-calculus
0 references
natural deduction
0 references
0 references
