scientific article

From MaRDI portal

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

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

Publication:3336725

Jump to:navigation, search

zbMath0546.68067MaRDI QIDQ3336725

Ketan D. Mulmuley

Publication date: 1984

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

zbMATH Keywords

domains denotational semantics recursive predicates cpo's

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55)

Related Items (2)

Fully abstract submodels of typed lambda calculi ⋮ On the Symmetries of and Equivalence Test for Design Polynomials.

This page was built for publication:

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