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

by Jaap Van Oosten , Alex K. Simpson
Venue:Annals of Pure and Applied Logic
Citations:8 - 7 self