Some logical and syntactical observations concerning the first-order dependent type system λP (Q4704760)
From MaRDI portal
scientific article; zbMATH DE number 1369689
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some logical and syntactical observations concerning the first-order dependent type system λP |
scientific article; zbMATH DE number 1369689 |
Statements
Some logical and syntactical observations concerning the first-order dependent type system λP (English)
0 references
29 June 2000
0 references
completeness
0 references
formulas as types
0 references
minimal predicate logic
0 references
generalized type theory
0 references
