Difference between revisions of "Template:Foundations infobox"

From HaskellWiki
Jump to navigation Jump to search
(Adding theory infobox)
(No difference)

Revision as of 19:47, 1 February 2007

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"