# Difference between revisions of "Template:Foundations infobox"

From HaskellWiki

BrettGiles (talk | contribs) m (minor format) |
BrettGiles (talk | contribs) m (Add relational algebra) |
||

(3 intermediate revisions by the same user not shown) | |||

Line 4: | Line 4: | ||

''General'':<br/>[[Mathematics]] - [[Category theory]]<br/>[[Research papers|Research]] - [[Curry-Howard-Lambek correspondence | Curry/Howard/Lambek]] |
''General'':<br/>[[Mathematics]] - [[Category theory]]<br/>[[Research papers|Research]] - [[Curry-Howard-Lambek correspondence | Curry/Howard/Lambek]] |
||

− | ''[[Lambda |
+ | ''[[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]]<br />[[Relational algebra]] |

|} |
|} |