Axioms and (Counter)examples in Synthetic Domain Theory (1998)

by Jaap Van Oosten, Alex K. Simpson
Venue:Annals of Pure and Applied Logic