scientific article; zbMATH DE number 65746
zbMATH Open0753.03024MaRDI QIDQ4010357FDOQ4010357
Authors: Jean-Yves Girard, Andre Scedrov, Philip Scott 
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
Cartesian closed categoriescut-eliminationfunctional programsdinatural transformationintuitionistic propositional calculus
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Natural morphisms, dinatural morphisms (18A23)
Cited In (18)
- Types, abstraction, and parametric polymorphism, part 2
- G-dinaturality.
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Quantifier-complete categories
- Linear Läuchli semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Composing dinatural transformations: towards a calculus of substitution
- Dinatural numbers
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- Softness of hypercoherences and MALL full completeness
- Proof nets, coends and the Yoneda isomorphism
- Parametricity as isomorphism
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- The naturality of natural deduction
- On paradoxes in normal form
- On Compositionality of Dinatural Transformations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010357)
