Alpha conversion, conditions on variables and categorical logic (Q913792)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alpha conversion, conditions on variables and categorical logic |
scientific article |
Statements
Alpha conversion, conditions on variables and categorical logic (English)
0 references
1989
0 references
sequent formulation of natural deduction
0 references
categories-as-syntax
0 references
categorical combinators
0 references
indexed categories
0 references
description of quantifiers as adjoints
0 references
equational presentation
0 references
dependent types
0 references
contextual categories
0 references
\(\lambda \) -calculus
0 references
