Axioms and (counter)examples in synthetic domain theory (0)

by J van Oosten, A Simpson
Venue:Annals of Pure and Applied Logic 104 (2000