Amal Ahmed (Indiana University)

Identifiers

• name variant Amal Ahmed (Indiana University) 0.60 · backfill

Papers (1)

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

Mentions

• 1103.0510 #2 · backfill · confidence 0.70 Amal Ahmed (Indiana University)

Frequent Coauthors

• Derek Dreyer (MPI-SWS) 1 shared papers
• Lars Birkedal (IT University of Copenhagen) 1 shared papers