# Mathematics

### From HaskellWiki

(Difference between revisions)

EndreyMark (Talk | contribs) (/*General*/ Paul Taylor: Practical Foundations of Mathematics. - →Topics: : reference to various branches of mathematics) |
EndreyMark (Talk | contribs) (Categorizing under Category:Theoretical foundations) |
||

Line 10: | Line 10: | ||

* [[Computer science]] |
* [[Computer science]] |
||

* [[Combinatory logic]] |
* [[Combinatory logic]] |
||

+ | |||

+ | [[Category:Theoretical foundations]] |

## Revision as of 10:37, 7 June 2006

## Contents |

## 1 General

Paul Taylor: Practical Foundations of Mathematics. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).