scientific article

zbMath0753.03024MaRDI QIDQ4010357

Jean-Yves Girard, Philip J. Scott, Andrej Scedrov

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Cartesian closed categoriescut-eliminationintuitionistic propositional calculusfunctional programsdinatural transformation

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (16)

The naturality of natural deduction ⋮ Parametricity as isomorphism ⋮ Linear Läuchli semantics ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ G-dinaturality. ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Softness of hypercoherences and MALL full completeness ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ On paradoxes in normal form ⋮ Unnamed Item ⋮ On Compositionality of Dinatural Transformations ⋮ \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic ⋮ Dinatural numbers ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

This page was built for publication: