top | item 9102316 (no title) alex-g | 11 years ago Is your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML. discuss order hn newest No comments yet.
No comments yet.