scientific article; zbMATH DE number 4154448

MaRDI QIDQ3483291zbMATH OpenFDO

Authors Philip Scott

Publication date 1989

Full work available at URL https://eudml.org/doc/193032

zbMATH Keywords

category of partial equivalence relations on the natural numbersdinatural transformationseffective toposends of functorsGirard's system F of polymorphic lambda calculusinterpretation of variable typesmultivariant functorsquantification over typesrealizable functorstype evaluation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Special properties of functors (faithful, full, etc.) (18A22) Natural morphisms, dinatural morphisms (18A23) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 4027427
• Domain theoretic models of polymorphism
• scientific article; zbMATH DE number 19052
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 4061468
• scientific article; zbMATH DE number 937388
• Polynat in PER models
• Initial algebra semantics for lambda calculi
• Recursive types for Fun
• A note on categorical datatypes

Cites work

• A generalization of the functorial calculus
• A small complete category
• Categorical semantics for higher order polymorphic lambda calculus
• Dinatural transformations
• Domain theoretic models of polymorphism
• Functorial polymorphism
• scientific article; zbMATH DE number 4181330 (Why is no real title available?)
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4035777 (Why is no real title available?)
• scientific article; zbMATH DE number 4051568 (Why is no real title available?)
• scientific article; zbMATH DE number 4061468 (Why is no real title available?)
• scientific article; zbMATH DE number 3261673 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• On functors expressible in the polymorphic typed lambda calculus
• The Discrete Objects in the Effective Topos
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(18)

• The system \({\mathcal F}\) of variable types, fifteen years later
• A quantitative interpretation of Girard's System F
• On functors expressible in the polymorphic typed lambda calculus
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
• Functors are type refinement systems
• A parameterization process: from a functorial point of view
• Polymorphic Abstract Syntax via Grothendieck Construction
• scientific article; zbMATH DE number 2185651 (Why is no real title available?)
• scientific article; zbMATH DE number 431763 (Why is no real title available?)
• Functorial ML
• Parametric polymorphism and operational equivalence
• Parametric polymorphism and semantic subtyping
• Category of Δ-functors
• Bifibrational functorial semantics of parametric polymorphism
• Structural polymorphism
• Functorial polymorphism
• The Girard-Reynolds isomorphism (second edition)

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 Q3483291)