Alpha conversion, conditions on variables and categorical logic (Q913792)
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: Alpha conversion, conditions on variables and categorical logic |
scientific article; zbMATH DE number 4148086
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alpha conversion, conditions on variables and categorical logic |
scientific article; zbMATH DE number 4148086 |
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