First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT - Støvring - Document - PDFSEARCH.IO

First Page	Meta Content
	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Document Date: 2011-07-19 16:17:18 Open Document File Size: 202,68 KB Share Result on Facebook Facility University of Copenhagen / IT University of Copenhagen / Saarland University / / Organization Saarland University / University of Copenhagen / / Person Lars Birkedal / / SocialTag Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics

First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 ITAdd to Reading List