Regular Relations and Bicartesian Squares (1994)

by R Banach
Venue:Theor. Comp. Sci