10
Curry-Howard İzomorfizminden doğan en ilginç eşdeğerler nelerdir?
Ben üzerine geldi Curry-Howard İzomorfizma benim programlama hayatta nispeten geç ve benim tamamen kendisine hayran olmanın belki de bu katkıda bulunur. Bu, her programlama kavramı için biçimsel mantıkta kesin bir analogun bulunduğunu ve bunun tersi olduğunu ima eder. İşte aklıma gelen bu tür benzetmelerin "temel" bir listesi: program/definition | proof …