scientific article

From MaRDI portal

Revision as of 13:23, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3784071

Jump to:navigation, search

zbMath0643.03049MaRDI QIDQ3784071

No author found.

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial functions toposes effective domains Scott domains effective computability

Mathematics Subject Classification ID

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

Related Items (6)

An exper model for Quest ⋮ Domains in \(H\) ⋮ A proposed categorical semantics for Pure ML ⋮ From term models to domains ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ Cocompletion of restriction categories

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3784071&oldid=17342758"