Hacker News new | ask | show | jobs
by fspeech 1829 days ago
Yes and the isomorphism is known as Curry-Howard Correspondence https://en.wikipedia.org/wiki/Curry-Howard_correspondence