Jan Schwinghammer (Saarland University)
Identifiers
- name variant Jan Schwinghammer (Saarland University) 0.60 · backfill
Papers (3)
- Step-Indexed Relational Reasoning for Countable Nondeterminism cs.LO · 2013 · author #4
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees cs.LO · 2012 · author #3
- Nested Hoare Triples and Frame Rules for Higher-order Store cs.LO · 2011 · author #1
Mentions
Frequent Coauthors
- Lars Birkedal (IT University of Copenhagen) 3 shared papers
- Ale\v{s} Bizjak (Aarhus University 1 shared papers
- Bernhard Reus (University of Sussex) 1 shared papers
- Denmark) 1 shared papers
- Hongseok Yang (University of Oxford) 1 shared papers
- Kristian St{\o}vring (DIKU 1 shared papers
- Rasmus Ejlers M{\o}gelberg (IT University of Copenhagen) 1 shared papers
- University of Copenhagen) 1 shared papers