Template:Foundations infobox

From HaskellWiki
Revision as of 19:51, 1 February 2007 by BrettGiles (talk | contribs) (minor format)
Jump to navigation Jump to search
Haskell theoretical foundations

General:
Mathematics - Category theory
Research - Curry/Howard/Lambek

Lambda Calculus:
Alpha conversion - Beta reduction
Eta conversion

Other:
Recursion - Combinatory logic
Chaitin's construction

Retrieved from "https://wiki.haskell.org/index.php?title=Template:Foundations_infobox&oldid=10932"