[Haskell-cafe] ... on type theory and category theory

jerzy.karczmarczuk at info.unicaen.fr jerzy.karczmarczuk at info.unicaen.fr
Wed Sep 26 04:55:06 EDT 2007

I wonder why nobody mentioned this (yet; recently): 

Andrea Asperti and Giuseppe Longo 

Categories, Types and Structures. Category Theory for the working computer 
scientist. M.I.T. Press, 1991 

You don't have to buy it. Go here, and fetch the book: 



Jerzy Karczmarczuk 

More information about the Haskell-Cafe mailing list