Algebras for the partial map classifier monad
1991 ◽
pp. 262-278
◽