scientific article; zbMATH DE number 431770

zbMATH Open0792.03009MaRDI QIDQ3138546FDOQ3138546

Authors: Wesley Phoa 

Publication date: 11 November 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)