G. D. Plotkin

8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Denotational semantics with partial functions

G. D. Plotkin (1985)

Types and partial functions

G. D. Plotkin (1985)

Countable nondeterminism and random assignment

K. R. Apt and others (1982) · LITP, Université Paris 7

The Category-Theoretic Solution of Recursive Domain Equations

M. B. Smyth and others (1982) · Society for Industrial & Applied Mathematics (SIAM)

A Cook's tour of countable nondeterminism

K. R. Apt and others (1981) · Automata, Languages and Programming (ICALP 1981) · Springer

Dijkstra's predicate transformers and smyth's powerdomains

G. D. Plotkin (1980) · Springer Berlin Heidelberg

Lambda-definability in the full type hierarchy

G. D. Plotkin (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism · Academic Press

Full abstraction for a simple parallel programming language

M. C. B. Hennessy and others (1979) · Springer Berlin Heidelberg