A completeness theorem for open maps (1994)

by A Joyal, I Moerdijk
Venue:Ann. Pure Appl. Logic