Pages that link to "Dana Scott"
The following pages link to Dana Scott:
Displaying 15 items.
- Boolean algebra (structure) (← links | edit)
- Cardinal number (← links | edit)
- Gödel's ontological proof (← links | edit)
- Lambda calculus (← links | edit)
- Pentomino (← links | edit)
- Type theory (← links | edit)
- Alonzo Church (← links | edit)
- Denotational semantics (← links | edit)
- Bracket (← links | edit)
- Alfred Tarski (← links | edit)
- Automata theory (← links | edit)
- Merton College, Oxford (← links | edit)
- Combinatory logic (← links | edit)
- Forcing (mathematics) (← links | edit)
- Logic for Computable Functions (← links | edit)