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

[jerzy . karczmarczuk]

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: 

http://www.di.ens.fr/~longo/download.html 

== 

Jerzy Karczmarczuk 


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe