[Haskell-cafe] Where is the "convergence point" between Category Theory and Haskell?
aleks.dimitrov at gmail.com
Mon Jan 14 09:42:35 CET 2013
>  For more discussion on this point, see n-Lab and n-Cafe:
Wren, thanks very much for these two links. I've been trying for forever to get
a foot into metamathematics and type theory in particular (not having the option
of actually taking any university grade classes on the subject,) and I think
these two links shall prove very helpful. In particular, I already like at least
two posts of the blog very much, and am continuing to scavenge the archives :-).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 836 bytes
Desc: Digital signature
More information about the Haskell-Cafe