Programming Systems Lab: Publications by Kristian Støvring

Saarland University Computer Science

Select author:

2012

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

2011

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)

2010

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)


Login to edit


Webmaster, Mon May 30 13:48:30 2016