# curry-howard-correspondence

- [The Curry-Howard Correspondence in Haskell](/math-debrief/350-type-theory/curry-howard-correspondence/curry-howard-correspondence-haskell.md)
- [Curry-Howard correspondence](/math-debrief/350-type-theory/curry-howard-correspondence/curry-howard-correspondence1.md)
- [Curry-Howard correspondence](/math-debrief/350-type-theory/curry-howard-correspondence/curry-howard-correspondence2.md)
- [Curry-Howard correspondence](/math-debrief/350-type-theory/curry-howard-correspondence/curry-howard-correspondence3.md)
- [Curry-Howard-Lambek correspondence - HaskellWiki](/math-debrief/350-type-theory/curry-howard-correspondence/curry-howard-lambek-correspondence.md)