Tuesday, January 10, 2006

Purpose

I have recently bought the book "Algebra of Programming". I have created this blog to take my notes on set theory, category theory, lambda calculus and algebra of programming.