scientific article; zbMATH DE number 431763

zbMATH Open0783.18003MaRDI QIDQ3138539FDOQ3138539

Authors: Edmund P. Robinson, Peter J. Freyd, Giuseppe Rosolini 

Publication date: 18 November 1993

Title of this publication is not available (Why is that?)

Recommendations

• G-dinaturality.
• scientific article
• Linear logic, coherence and dinaturality
• Realizability. An introduction to its categorical side
• Dinatural numbers

zbMATH Keywords

polymorphismeffective toposdinatural transformationssecond-order lambda calculuspartial equivalence relationsuniform families of maps between realizable functors on PER's

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Topoi (18B25) Semantics in the theory of computing (68Q55)

Cited In (6)

• Linear Läuchli semantics
• Composing dinatural transformations: towards a calculus of substitution
• Free dimonoids
• A note on ``Extensional PERs
• Parametricity as isomorphism
• 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 Q3138539)