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
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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"