# Difference between revisions of "Template:Foundations infobox"

From HaskellWiki

BrettGiles (talk | contribs) (Add lambda abstraction link) |
BrettGiles (talk | contribs) (Add turing machine) |
||

Line 6: | Line 6: | ||

''[[Lambda calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]] - [[Lambda abstraction]] |
''[[Lambda calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]] - [[Lambda abstraction]] |
||

− | ''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]]<br />[[Chaitin's construction]] |
+ | ''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]]<br />[[Chaitin's construction]] - [[Turing machine]] |

|} |
|} |