First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logical Methods in Computer Science
A Step-indexed Kripke Model of Hidden State
(pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logic in Computer Science (LICS'11)
A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces
(pdf)
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
Foundations of Software Science and Computation Structures (FOSSACS'11)
Step-indexed Kripke Models over Recursive Worlds
(pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)
A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces
(pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)
A Metric Model of Lambda Calculus with Guarded Recursion
(pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)