Pages that link to "History of type theory"
From HandWiki
The following pages link to History of type theory:
Displayed 3 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Vicious circle principle (← links)
- Type theory (← links)
- Biography:Frank Ramsey (mathematician) (← links)