Lars Birkedal (IT University of Copenhagen)

Identifiers

• name variant Lars Birkedal (IT University of Copenhagen) 0.60 · backfill

Papers (5)

1. Step-Indexed Relational Reasoning for Countable Nondeterminism cs.LO · 2013 · author #1
2. Two for the Price of One: Lifting Separation Logic Assertions cs.PL · 2012 · author #2
3. First steps in synthetic guarded domain theory: step-indexing in the topos of trees cs.LO · 2012 · author #1
4. Nested Hoare Triples and Frame Rules for Higher-order Store cs.LO · 2011 · author #2
5. Logical Step-Indexed Logical Relations cs.PL · 2011 · author #3

Mentions

• 1310.2031 #1 · backfill · confidence 0.70 Lars Birkedal (IT University of Copenhagen)
• 1208.5895 #2 · backfill · confidence 0.70 Lars Birkedal (IT University of Copenhagen)
• 1208.3596 #1 · backfill · confidence 0.70 Lars Birkedal (IT University of Copenhagen)
• 1109.3031 #2 · backfill · confidence 0.70 Lars Birkedal (IT University of Copenhagen)
• 1103.0510 #3 · backfill · confidence 0.70 Lars Birkedal (IT University of Copenhagen)

Frequent Coauthors

• Jan Schwinghammer (Saarland University) 3 shared papers
• Hongseok Yang (University of Oxford) 2 shared papers
• Ale\v{s} Bizjak (Aarhus University 1 shared papers
• Amal Ahmed (Indiana University) 1 shared papers
• Bernhard Reus (University of Sussex) 1 shared papers
• Denmark) 1 shared papers
• Derek Dreyer (MPI-SWS) 1 shared papers
• Jacob Thamsborg (IT University of Copenhagen) 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