Difference between revisions of "Template:Foundations infobox"

From HaskellWiki
Jump to: navigation, search
m (Fix Lambda Calc link)
(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]]

Revision as of 18:44, 5 February 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