Alpha conversion, conditions on variables and categorical logic
type: Item
instance of: scholarly article
title: Alpha conversion, conditions on variables and categorical logic
zbMATH Open document ID: 0701.03036
DOI: 10.1007/BF00370828
published in: Studia Logica
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 4148086
zbMATH Keywords: sequent formulation of natural deduction
zbMATH Keywords: categories-as-syntax
zbMATH Keywords: categorical combinators
zbMATH Keywords: indexed categories
zbMATH Keywords: description of quantifiers as adjoints
zbMATH Keywords: equational presentation
zbMATH Keywords: dependent types
zbMATH Keywords: contextual categories
zbMATH Keywords: \(\lambda \) -calculus
author: Pierre-Louis Curien
MaRDI profile type: Publication
cites work: Q5667469
cites work: Q4855338
cites work: Q3792655
cites work: Q3784072
cites work: Domain theoretic models of polymorphism
cites work: The categorical abstract machine
cites work: Categorical combinators
cites work: Q3785893
cites work: On the geometry of spaces of $C_{0}$K-valued operators
cites work: Q3773876
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Proof of termination of the rewriting system SUBSET on CCL
cites work: Q5752573
cites work: Unique normal forms for lambda calculus with surjective pairing
cites work: Q4732603
cites work: The Mechanical Evaluation of Expressions
cites work: Adjointness in Foundations
cites work: Q5642701
cites work: Constructive natural deduction and its ‘ω-set’ interpretation
cites work: Q5639839
cites work: Q3786612
cites work: HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
cites work: Locally cartesian closed categories and type theory
cites work: Categorical semantics for higher order polymorphic lambda calculus
cites work: Q4733863
description: scientific article; zbMATH DE number 4148086