scientific article; zbMATH DE number 517052

MaRDI QIDQ4282580zbMATH OpenFDO

Authors Wesley Phoa

Publication date 28 August 1994

zbMATH Keywords

bounded quantificationgroupoid interpretationmodest setsPER modelspolymorphic \(\lambda\)-calculipolymorphic typessubtypinguniformized interpretation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Topoi (18B25) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4049849
• scientific article; zbMATH DE number 4061468
• Domain theoretic models of polymorphism
• ABOUT MODEST SETS
• Polymorphism and apartness

Cited in

(14)

• Structures definable in polymorphism
• Parametricity as isomorphism
• Domain theoretic models of polymorphism
• Univalent polymorphism
• scientific article; zbMATH DE number 1670474 (Why is no real title available?)
• M-set models
• Near-Unanimity Polymorphisms on Structures with Finite Duality
• scientific article; zbMATH DE number 4179331 (Why is no real title available?)
• ABOUT MODEST SETS
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 4061468 (Why is no real title available?)
• From term models to domains
• Models for polymorphism over physical dimension
• An exper model for Quest

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