Template:Foundations infobox

From HaskellWiki
Revision as of 18:32, 6 February 2007 by BrettGiles (talk | contribs) (Add turing machine)
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 - Lambda abstraction

Other:
Recursion - Combinatory logic
Chaitin's construction - Turing machine

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