HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
The Seven Virtues of Simple Type Theory [pdf]
imps.mcmaster.ca
discuss
10 years ago
vilhelm_s
4 points
2.
▲
The seven virtues of simple type theory / higher-order logic [pdf]
imps.mcmaster.ca
discuss
10 months ago
fanf2
3 points
3.
▲
The seven virtues of simple type theory (2008) [pdf]
imps.mcmaster.ca
discuss
7 months ago
perihelions
2 points