scientific article; zbMATH DE number 1342221

From MaRDI portal

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

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

Publication:4263806

Jump to:navigation, search

zbMath0933.03031MaRDI QIDQ4263806

Alex K. Simpson

Publication date: 29 March 2000

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

zbMATH Keywords

operational semantics elementary topos synthetic domain theory computational adequacy denotational model of call-by-value PCF

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (5)

Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ Computer theorem proving in mathematics ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ The sequentially realizable functionals

This page was built for publication:

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