Constructive complete distributivity I (1990)

by B Fawcett, R J Wood
Venue:Mathematical Proceedings of the Cambridge Philosophical Society 107