Riley MoherinBetter ProgrammingAre Programmers Philosophers in Disguise?The Curry-Howard correspondence for beginnersAug 9, 20223Aug 9, 20223
Riley MoherinBetter ProgrammingHow a Barber Founded Computer ScienceAn introduction to the origins of type theoryJul 28, 2022Jul 28, 2022