Template:Foundations infobox

From HaskellWiki

Revision as of 18:44, 5 February 2007 by BrettGiles (talk | contribs) (Add lambda abstraction 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 - Lambda abstraction Other: Recursion - Combinatory logic Chaitin's construction

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