Syntactic calculus with dependent types (Q1280047)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Syntactic calculus with dependent types |
scientific article; zbMATH DE number 1251515
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Syntactic calculus with dependent types |
scientific article; zbMATH DE number 1251515 |
Statements
Syntactic calculus with dependent types (English)
0 references
31 August 1999
0 references
The paper is a description of the syntactic calculus of Bar-Hillel and Lambek, considered from the point of view of constructive type theory. As basic tool of the formalization a notion of dependent types has been used. The presented approach is based on syntax trees as the main alternative of formalization. The paper does not contain new mathematical results but focuses on linguistics illustrations of some formalism.
0 references
Lambek calculus
0 references
constructive type theory
0 references
syntactic calculus
0 references
syntax trees
0 references
