Template:Foundations infobox

From HaskellWiki
Revision as of 19:47, 1 February 2007 by BrettGiles (talk | contribs) (Adding theory infobox)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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=10928"