scientific article; zbMATH DE number 431770

MaRDI QIDQ3138546zbMATH OpenFDO

Authors Wesley Phoa

Publication date 11 November 1993

zbMATH Keywords

category of modest setsfibrationmodel of a polymorphic \(\lambda\)-calculus with subtypes and bounded quantificationpartial equivalence relationsPER modelsrealizability topossynthetic 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

(5)

• scientific article; zbMATH DE number 1231461 (Why is no real title available?)
• Building domains from graph models
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• A proposed categorical semantics for ML modules
• Proving strong normalization of CC by modifying realizability semantics

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)