Template:Haskell chapter/Wider Theory

From Wikibooks, open books for an open world
Jump to: navigation, search

Denotational semantics 75%.svg
Equational reasoning
Program derivation
Category theory 100%.svg
The Curry-Howard isomorphism
fix and recursion 100%.svg

edit this chapter
Retrieved from "http://en.wikibooks.org/w/index.php?title=Template:Haskell_chapter/Wider_Theory&oldid=2255685"
Personal tools
Namespaces
Variants
Actions
Navigation
Community
Toolbox
Sister projects