Difference between revisions of "Template:Foundations infobox"

From HaskellWiki
Jump to: navigation, search
(Adding theory infobox)
 
m (minor format)
Line 6: Line 6:
 
''[[Lambda Calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]]
 
''[[Lambda Calculus]]'':<br/>[[Alpha conversion]] - [[Beta reduction]]<br/>[[Eta conversion]]
   
''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]] - [[Chaitin's construction]]
+
''Other'':<br/>[[Recursive function theory| Recursion]] - [[Combinatory logic]]<br />[[Chaitin's construction]]
 
|}
 
|}

Revision as of 19:51, 1 February 2007

Haskell theoretical foundations

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

Lambda Calculus:
Alpha conversion - Beta reduction
Eta conversion

Other:
Recursion - Combinatory logic
Chaitin's construction