Template:Foundations infobox

From HaskellWiki

Revision as of 18:38, 5 February 2007 by BrettGiles (talk | contribs) (Fix Lambda Calc link)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

Retrieved from "https://wiki.haskell.org/index.php?title=Template:Foundations_infobox&oldid=11056"