scientific article; zbMATH DE number 4047722

zbMATH Open0643.03049MaRDI QIDQ3784071FDOQ3784071

Authors:

Publication date: 1987

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

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

zbMATH Keywords

toposeseffective domainsScott domainspartial functionseffective computability

Mathematics Subject Classification ID

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

Cited In (11)

• Domains in \(H\)
• Cocompletion of restriction categories
• Effective topos as a synthetic universe for the theory of computation
• Title not available (Why is that?)
• A categorial approach to the theory of computation
• From term models to domains
• A proposed categorical semantics for pure ML
• Axioms and (counter)examples in synthetic domain theory
• Title not available (Why is that?)
• 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)