Pages that link to "Michael J. C. Gordon"
Showing 50 items.
- August 22 (links | edit)
- Computer program (links | edit)
- ML (programming language) (links | edit)
- Tony Hoare (links | edit)
- Denotational semantics (links | edit)
- HOL (proof assistant) (links | edit)
- Logic for Computable Functions (links | edit)
- Declarative programming (links | edit)
- Richard Borcherds (links | edit)
- Bert Sakmann (links | edit)
- Erwin Neher (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- History of programming languages (links | edit)
- Friedrich Hirzebruch (links | edit)
- Bedales School (links | edit)
- Tony Pawson (biochemist) (links | edit)
- Isaak Khalatnikov (links | edit)
- Tak Wah Mak (links | edit)
- BCS-FACS (links | edit)
- David Pettifor (links | edit)
- Michael J. C. Gordon (transclusion) (links | edit)
- Mike Gordon (computer scientist) (redirect page) (links | edit)
- HOL (proof assistant) (links | edit)
- Fraser Stoddart (links | edit)
- Dusa McDuff (links | edit)
- Nick Barton (links | edit)
- Michael Gordon (links | edit)
- Programming language theory (links | edit)
- Michael J.C. Gordon (redirect page) (links | edit)
- List of University of Edinburgh people (links | edit)
- F. Albert Cotton (links | edit)
- Rippling (links | edit)
- Rod Burstall (links | edit)
- Bob White (geophysicist) (links | edit)
- Scott Tremaine (links | edit)
- Peter McCullagh (links | edit)
- David Aldous (links | edit)
- David MacLennan (links | edit)
- Michael J C Gordon (redirect page) (links | edit)
- HOL (proof assistant) (links | edit)
- Michael JC Gordon (redirect page) (links | edit)
- Kurt Lambeck (links | edit)
- Anthony Cheetham (links | edit)
- Graham Fleming (links | edit)
- George Efstathiou (links | edit)
- Hugh McDevitt (links | edit)
- Andrew Lumsden (scientist) (links | edit)
- Guy Dodson (links | edit)
- Derek Robinson (physicist) (links | edit)
- Peter Morris (surgeon) (links | edit)
- Brian Launder (links | edit)
- Timothy Bliss (links | edit)