Pages that link to "Dana Scott"
Showing 50 items.
- Alan Kay (links | edit)
- Andrew Wiles (links | edit)
- Axiom of regularity (links | edit)
- Boolean algebra (structure) (links | edit)
- Cardinal number (links | edit)
- List of computer scientists (links | edit)
- Church–Turing thesis (links | edit)
- Douglas Engelbart (links | edit)
- Donald Knuth (links | edit)
- Dennis Ritchie (links | edit)
- Edsger W. Dijkstra (links | edit)
- Fred Brooks (links | edit)
- Gödel's ontological proof (links | edit)
- Herbert A. Simon (links | edit)
- Lambda calculus (links | edit)
- Marvin Minsky (links | edit)
- Niklaus Wirth (links | edit)
- Pentomino (links | edit)
- Rem Koolhaas (links | edit)
- Stanford University (links | edit)
- Tim Berners-Lee (links | edit)
- Turing Award (links | edit)
- Vint Cerf (links | edit)
- Willard Van Orman Quine (links | edit)
- Stephen Cook (links | edit)
- Tony Hoare (links | edit)
- Type theory (links | edit)
- Robert Tarjan (links | edit)
- Saul Kripke (links | edit)
- Alonzo Church (links | edit)
- Codomain (links | edit)
- Denotational semantics (links | edit)
- Adi Shamir (links | edit)
- Peter Naur (links | edit)
- Bracket (links | edit)
- Derek Parfit (links | edit)
- Alfred Tarski (links | edit)
- Ole-Johan Dahl (links | edit)
- Mauricio Kagel (links | edit)
- Ron Rivest (links | edit)
- John Backus (links | edit)
- Kristen Nygaard (links | edit)
- Hilary Putnam (links | edit)
- Butler Lampson (links | edit)
- Ivan Sutherland (links | edit)
- Robin Milner (links | edit)
- Edgar F. Codd (links | edit)
- Richard Hamming (links | edit)
- Automata theory (links | edit)
- John Rawls (links | edit)