When do datatypes commute? Pages 242-- 260 of: Category theory and computer science (1997)

by P F Hoogendijk
Venue:Lecture Notes in Computer Science