Difference between revisions of "Template:Foundations infobox"

From HaskellWiki
Jump to: navigation, search
(Adding theory infobox)
 
m (Add relational algebra)
 
(4 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 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]] - [[Chaitin's construction]]
+
''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]]<br />[[Chaitin's construction]] - [[Turing machine]]<br />[[Relational algebra]]
 
|}
 
|}

Latest revision as of 22:49, 23 May 2007

Haskell theoretical foundations

General:
Mathematics - Category theory
Research - Curry/Howard/Lambek

Lambda calculus:
Alpha conversion - Beta reduction
Eta conversion - Lambda abstraction

Other:
Recursion - Combinatory logic
Chaitin's construction - Turing machine
Relational algebra