First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.

Lars Birkedal, Rasmus Ejlers Mgelberg, Jan Schwinghammer, Kristian Stvring

Browse the full LICS paper archive.