Pages that link to "Dana Scott"
Jump to navigation
Jump to search
The following pages link to Dana Scott:
Displaying 47 items.
- Boolean algebra (structure) (← links)
- Cardinal number (← links)
- List of computer scientists (← links)
- Gödel's ontological proof (← links)
- Lambda calculus (← links)
- Pentomino (← links)
- University of Chicago (← links)
- Type theory (← links)
- Alonzo Church (← links)
- Denotational semantics (← links)
- Bracket (← links)
- Alfred Tarski (← links)
- Automata theory (← links)
- Merton College, Oxford (← links)
- Combinatory logic (← links)
- Forcing (mathematics) (← links)
- Logic for Computable Functions (← links)
- MANIAC I (← links)
- Marko Petkovšek (← links)
- Measurable cardinal (← links)
- Operational semantics (← links)
- Carnegie Mellon School of Computer Science (← links)
- Michael O. Rabin (← links)
- Heyting algebra (← links)
- Domain theory (← links)
- Modal logic (← links)
- List of logicians (← links)
- Dana S. Scott (redirect page) (← links)
- UC Berkeley College of Engineering (← links)
- Cardinal assignment (← links)
- Large cardinal (← links)
- Timeline of algorithms (← links)
- 1976 in science (← links)
- Nondeterministic finite automaton (← links)
- Nondeterministic algorithm (← links)
- Scott continuity (← links)
- Intermediate logic (← links)
- William Lawvere (← links)
- Christopher Strachey (← links)
- List of University of California, Berkeley alumni (← links)
- Robert Taylor (computer scientist) (← links)
- David Turner (computer scientist) (← links)
- Categorical logic (← links)
- Non-well-founded set theory (← links)
- Regeneron Science Talent Search (← links)
- Powerset construction (← links)
- Scott Draves (← links)