Difference between revisions of "Template:Foundations infobox"

From HaskellWiki
Jump to: navigation, search
(Add turing machine)
m (Add relational algebra)
 
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]] - [[Turing machine]]
+
''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