Pages that link to "Joachim Lambek"
Jump to navigation
Jump to search
The following pages link to Joachim Lambek:
Displaying 14 items.
- Church–Turing thesis (← links)
- Propositional logic (← links)
- Boolean ring (← links)
- History of topos theory (← links)
- Curry–Howard correspondence (← links)
- List of logicians (← links)
- Register machine (← links)
- Random-access machine (← links)
- Higher-order logic (← links)
- Kindertransport (← links)
- Noncommutative logic (← links)
- Categorial grammar (← links)
- Biquaternion (← links)
- Hans Zassenhaus (← links)