Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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