scientific article; zbMATH DE number 4047722

MaRDI QIDQ3784071zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

toposeseffective domainsScott domainspartial functionseffective computability

Mathematics Subject Classification ID

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

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

(11)

• Domains in \(H\)
• Cocompletion of restriction categories
• Effective topos as a synthetic universe for the theory of computation
• A categorial approach to the theory of computation
• scientific article; zbMATH DE number 4068864 (Why is no real title available?)
• From term models to domains
• A proposed categorical semantics for pure ML
• Axioms and (counter)examples in synthetic domain theory
• scientific article; zbMATH DE number 3999258 (Why is no real title available?)
• Relative computability in the effective topos
• 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 Q3784071)