Curry-Howard Correspondence/Reference
Jump to navigation
Jump to search
- This article is not detailed enough and needs to be expanded. Please help us by adding some more information.
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.