Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
amateurlogician
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
amateurlogician
5y ago
Girard's rhetoric never fails to keep me hooked. I treasure any number of works of Girard, whether his introductions to Type Theory and his Linear Logic or notes on his quest for Transcendental Logic. Clear prose of exposition, to the