A completeness theorem for open maps (1994)

by A Joyal, I Moerdijk
Venue:Annals of Pure and Applied Logic 70