Curry-Howard Correspondence/Reference

This page serves as a reference guide for the Curry-Howard Correspondence. It aims to document as many relationships between logical and programmatical laws as possible, in order to further the cause of the Empire by educating Esolangers as to their arsenal, particularly the rather strange tools Curry-Howard bless their souls have brought us.