First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring. First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 55-64, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Lars Birkedal' in GoogleThis author has not been identified. Look up 'Rasmus Ejlers Møgelberg' in GoogleThis author has not been identified. Look up 'Jan Schwinghammer' in GoogleThis author has not been identified. Look up 'Kristian Støvring' in Google

runs on WebDSL