First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees | IEEE Conference Publication | IEEE Xplore