Personal tools

Mathematics

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(/*General*/ Paul Taylor: Practical Foundations of Mathematics. - Topics: : reference to various branches of mathematics)
 
(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).

2 Topics