When Do Datatypes Commute?

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026992 ◽

1997 ◽

pp. 242-260 ◽

Cited By ~ 9

Author(s):

Paul Hoogendijk ◽

Roland Backhouse

Download Full-text