Sorting morphisms (1998)

by L Augusteijn
Venue:3rd International Summer School on Advanced Functional Program ming, volume 1608 of LNCS