scientific article

zbMath0704.03047MaRDI QIDQ3483291

Philip J. Scott

Publication date: 1989

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

effective toposdinatural transformationscategory of partial equivalence relations on the natural numbersends of functorsGirard's system F of polymorphic lambda calculusinterpretation of variable typesmultivariant functorsquantification over typesrealizable functorstype evaluation

Mathematics Subject Classification ID

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

Cites Work

• Functorial polymorphism
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The system \({\mathcal F}\) of variable types, fifteen years later
• A small complete category
• On functors expressible in the polymorphic typed lambda calculus
• Domain theoretic models of polymorphism
• A generalization of the functorial calculus
• The Discrete Objects in the Effective Topos
• Categorical semantics for higher order polymorphic lambda calculus
• Dinatural transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: