scientific article; zbMATH DE number 4047722

MaRDI QIDQ3784071zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

effective computabilityeffective domainspartial functionsScott domainstoposes

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Categorical logic, topoi (03G30)

Recommendations

• A categorial approach to the theory of computation
• Partial morphisms in categories of effective objects
• Relative computability in the effective topos
• The Discrete Objects in the Effective Topos
• Realizability. An introduction to its categorical side

Cited in

(13)

• Axioms and (counter)examples in synthetic domain theory
• Cocompletion of restriction categories
• ABOUT MODEST SETS
• Relative computability in the effective topos
• scientific article; zbMATH DE number 4068864 (Why is no real title available?)
• scientific article; zbMATH DE number 3999258 (Why is no real title available?)
• Effective topos as a synthetic universe for the theory of computation
• From term models to domains
• A proposed categorical semantics for pure ML
• Domains in \(H\)
• An exper model for Quest
• Continuous and algebraic domains in univalent foundations
• A categorial approach to the theory of computation

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