scientific article; zbMATH DE number 65746
From MaRDI portal
Publication:4010357
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)
Recommendations
Cited in
(18)- On Compositionality of Dinatural Transformations
- 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
- scientific article; zbMATH DE number 65742 (Why is no real title available?)
- scientific article; zbMATH DE number 7204448 (Why is no real title available?)
- 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
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)
