Kristian St{\o}vring (DIKU

Identifiers

• name variant Kristian St{\o}vring (DIKU 0.60 · backfill

Papers (1)

1. First steps in synthetic guarded domain theory: step-indexing in the topos of trees cs.LO · 2012 · author #4

Mentions

• 1208.3596 #4 · backfill · confidence 0.70 Kristian St{\o}vring (DIKU

Frequent Coauthors

• Jan Schwinghammer (Saarland University) 1 shared papers
• Lars Birkedal (IT University of Copenhagen) 1 shared papers
• Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen) 1 shared papers
• University of Copenhagen) 1 shared papers