Template:Foundations infobox: Difference between revisions
BrettGiles (talk | contribs) m (Fix Lambda Calc link) |
BrettGiles (talk | contribs) (Add lambda abstraction link) |
||
| 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 calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]] | ''[[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]] | ||
|} | |} | ||