Viewing profile — amateurlogician
amateurlogician
HN member- Joined
- Sun, Mar 27, 2022, 7:24 PM UTC
- HN karma
- 5
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About amateurlogician
No profile information was provided.
Recent public activity
-
comment
Comment #30823361
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 T…