Template:Foundations infobox

From HaskellWiki
Revision as of 22:49, 23 May 2007 by BrettGiles (talk | contribs) (Add relational algebra)
(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 - Lambda abstraction

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

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