Constructive complete distributivity IV. Applied Categorical Structures (1994)

by R Rosebrugh, R J Wood