5 ms·
Is your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML.
by alex-g 12y ago
Is your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML.