scientific article; zbMATH DE number 65746
From MaRDI portal
Publication:4010357
Cartesian closed categoriescut-eliminationdinatural transformationfunctional programsintuitionistic propositional calculus
Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Natural morphisms, dinatural morphisms (18A23) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)
Recommendations
Cited in
(21)- Quantifier-complete categories
- Dinatural numbers
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- Parametricity as isomorphism
- G-dinaturality.
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Linear Läuchli semantics
- Composing dinatural transformations: towards a calculus of substitution
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- On paradoxes in normal form
- The naturality of natural deduction
- scientific article; zbMATH DE number 65742 (Why is no real title available?)
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- Proof nets, coends and the Yoneda isomorphism
- On Compositionality of Dinatural Transformations
- scientific article; zbMATH DE number 7204448 (Why is no real title available?)
- Types, abstraction, and parametric polymorphism, part 2
- The Yoneda reduction of polymorphic types
- Deduction at the crossroads
- A new conjecture about identity of proofs
- Softness of hypercoherences and MALL full completeness
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)
