Pages that link to "Biography:Joachim Lambek"
From HandWiki
The following pages link to Biography:Joachim Lambek:
Displayed 27 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Biquaternion (← links)
- Cartesian monoid (← links)
- Lambek–Moser theorem (← links)
- List of mathematicians (L) (← links)
- Quaternion (← links)
- Timeline of manifolds (← links)
- Boolean ring (← links)
- Timeline of category theory and related mathematics (← links)
- Applied category theory (← links)
- Counter-machine model (← links)
- Register machine (← links)
- Simply typed lambda calculus (← links)
- Propositional calculus (← links)
- Categorial grammar (← links)
- Church–Turing thesis (← links)
- Pregroup grammar (← links)
- History of topos theory (← links)
- Curry–Howard correspondence (← links)
- Character module (← links)
- Random-access machine (← links)
- Counter machine (← links)
- Random-access stored-program machine (← links)
- Philosophy:Higher-order logic (← links)
- Philosophy:Noncommutative logic (← links)
- Biography:Israel Kleiner (mathematician) (← links)
- Biography:Hans Zassenhaus (← links)
- Biography:List of logicians (← links)