Template:Haskell chapter/Wider Theory

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

Denotational semantics 75% developed
Equational reasoning
Program derivation
Category theory
The Curry–Howard isomorphism
fix and recursion

edit this chapter