Difference between revisions of "Template:Foundations infobox"
From HaskellWiki
BrettGiles (talk | contribs) (Adding theory infobox) |
BrettGiles (talk | contribs) m (minor format) |
||
Line 6: | Line 6: | ||
''[[Lambda Calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]] |
''[[Lambda Calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]] |
||
− | ''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]] |
+ | ''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]]<br />[[Chaitin's construction]] |
|} |
|} |
Revision as of 19:51, 1 February 2007
Haskell theoretical foundations
General: Lambda Calculus: |