scientific article

From MaRDI portal

Revision as of 23:33, 29 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

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

Publication:3976061

Jump to:navigation, search

zbMath0735.68059MaRDI QIDQ3976061

Kurt Sieber

Publication date: 26 June 1992

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

zbMATH Keywords

full abstraction models of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Game theoretic analysis of call-by-value computation ⋮ Game-theoretic analysis of call-by-value computation ⋮ Densities of almost surely terminating probabilistic programs are differentiable almost everywhere ⋮ The sequentially realizable functionals

This page was built for publication:

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