Dyads, a generalisation of monads. Memoranda Informatica 94-30 (1994)

by Maarten M Fokkinga