Derek Dreyer (MPI-SWS)

Identifiers

• name variant Derek Dreyer (MPI-SWS) 0.60 · backfill

Papers (1)

1. Logical Step-Indexed Logical Relations cs.PL · 2011 · author #1

Mentions

• 1103.0510 #1 · backfill · confidence 0.70 Derek Dreyer (MPI-SWS)

Frequent Coauthors

• Amal Ahmed (Indiana University) 1 shared papers
• Lars Birkedal (IT University of Copenhagen) 1 shared papers