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

[jerzy.karczmarczuk at info.unicaen.fr]

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