Constructive complete distributivity (1990)

by B Fawcett, R J Wood
Venue:I, Math. Proc. Cambridge Philos. Soc