Pages that link to "Biography:William Alvin Howard"
From HandWiki
The following pages link to Biography:William Alvin Howard:
Displayed 11 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- List of mathematicians (H) (← links)
- Dependent type (← links)
- History of type theory (← links)
- Curry–Howard correspondence (← links)
- Programming language theory (← links)
- Philosophy:1926 in philosophy (← links)
- Biography:Marian Pour-El (← links)
- Biography:André Weil (← links)
- Biography:Per Martin-Löf (← links)
- Biography:Saunders Mac Lane (← links)
- Biography:List of logicians (← links)