Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Keyboard shortcuts
h, / search box
j, ↓ next result
k, ↑ prev result
l, o, Enter go
More...
Ctrl+Enter bg
', v new tab
d domain search
t Top
!, 1 !bang dropdown
esc out of bangs
s Did you mean
r related topics
m main results
More explanation...
Gordon Plotkin
Gordon D. Plotkin, FRS, FRSE is a Scottish computer scientist.
More at Wikipedia
Church-Rosser theorem
Domain theory
More related topics
Golem (ILP)
Informatics
LFCS
Operational semantics
Royal Society Wolfson Research Merit Award holders
Programming language researchers
Formal methods people
Members of Academia Europaea
British computer scientists
Academics of the University of Edinburgh
Fellows of the Royal Society of Edinburgh
This page requires Javascript.Get the non-JS version
here
.