Hacker News new | ask | show | jobs
by hexasquid 8 days ago
Incredible. My two-year-old forgets to include Lambek when lecturing on Curry-Howard-Lambek correspondence. Kids.