Pages that link to "Biography:Gordon Plotkin"
From HandWiki
The following pages link to Biography:Gordon Plotkin:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Machine learning (← links)
- Programming Computable Functions (← links)
- Applied category theory (← links)
- Type system (← links)
- Anti-unification (computer science) (← links)
- Logical framework (← links)
- Typed lambda calculus (← links)
- Unbounded nondeterminism (← links)
- Church–Rosser theorem (← links)
- Operational semantics (← links)
- ALF (proof assistant) (← links)
- Programming language theory (← links)
- PEPA (← links)
- Logic of Computable Functions (← links)
- Golem (ILP) (← links)
- Inductive logic programming (← links)
- Safety and liveness properties (← links)
- Power domains (← links)
- History of the Actor model (← links)
- Anti-unification (← links)
- Theta-subsumption (← links)
- Template:FRS 1992 (← links)
- Template:EATCS Award laureates (← links)
- Biography:Boris Trakhtenbrot (← links)
- Biography:List of programming language researchers (← links)
- Biography:Robin Milner (← links)
- Biography:Dana Scott (← links)
- Biography:Patrick Cousot (← links)
- Biography:Gordon Plotkin (transclusion) (← links)
- Biography:Luca Cardelli (← links)
- Biography:Moshe Vardi (← links)
- Biography:Donald Michie (← links)
- Biography:John C. Mitchell (← links)
- Biography:Mihalis Yannakakis (← links)
- Biography:Amos Fiat (← links)
- Biography:Toniann Pitassi (← links)
- Biography:Leslie Valiant (← links)
- Biography:Noam Nisan (← links)
- Biography:Philippa Gardner (← links)
- Biography:Mike Paterson (← links)
- Biography:Richard M. Karp (← links)
- Biography:List of computer scientists (← links)
- Biography:Kurt Mehlhorn (← links)
- Biography:Éva Tardos (← links)
- Biography:Rod Burstall (← links)
- Biography:Matthew Hennessy (← links)
- Biography:Gérard Huet (← links)
- Biography:Ian Grant (physicist) (← links)
- Organization:Royal Society Wolfson Fellowship (← links)
- Organization:European Association for Theoretical Computer Science (← links)