scientific article; zbMATH DE number 3884140

MaRDI QIDQ3218110zbMATH OpenFDO

Authors Alberto Bosisio

Publication date 1983

zbMATH Keywords

Cartesian closed categorycomputability in higher typescontinuous latticeseffectivenesspartial ordersweakly separated topologies

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75) Topological lattices (06B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• On effective topological spaces
• A categorial approach to the theory of computation
• scientific article; zbMATH DE number 3896924
• scientific article; zbMATH DE number 2110611
• Theory of representations

Cited in

(3)

• Effective topological spaces. III: Forcing and definability
• Diagonal arguments and Cartesian closed categories (with author commentary)
• scientific article; zbMATH DE number 4021110 (Why is no real title available?)

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