scientific article

zbMath0546.68067MaRDI QIDQ3336725

Ketan D. Mulmuley

Publication date: 1984

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

zbMATH Keywords

domainsdenotational semanticsrecursive predicatescpo's

Mathematics Subject Classification ID

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

Related Items

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