scientific article; zbMATH DE number 431770

MaRDI QIDQ3138546zbMATHFDO

Authors Wesley Phoa

Publication date 11 November 1993

zbMATH Keywords

fibrationrealizability toposPER modelscategory of modest setspartial equivalence relationsmodel of a polymorphic \(\lambda\)-calculus with subtypes and bounded quantificationsynthetic domains

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231461
• Subtypes in fuzzy type theory
• Subtyping and intersection types revisited
• scientific article; zbMATH DE number 1088192
• scientific article; zbMATH DE number 6152757
• Higher-order subtyping
• Logic of subtyping
• Automata, Languages and Programming
• Categorical notions of fibration

Cited in

(3)

• A proposed categorical semantics for ML modules
• Proving strong normalization of CC by modifying realizability semantics
• Building domains from graph models

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