Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249)
From MaRDI portal
scientific article; zbMATH DE number 502857
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions |
scientific article; zbMATH DE number 502857 |
Statements
Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (English)
0 references
16 February 1994
0 references
recursive structure
0 references
semantical domains
0 references
algebraic approach
0 references
syntax
0 references
semantics
0 references
calculus of constructions
0 references
three-sorted partial algebras
0 references
essentially algebraic theories
0 references
models of Martin-Löf type theory
0 references
decidability
0 references
