Sorting Morphisms (1998)

by Lex Augusteijn
Venue:3rd International Summer School on Advanced Functional Programming, volume 1608 of LNCS