Amy Felty

Identifiers

• name variant Amy Felty 0.60 · backfill

Papers (1)

1. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax cs.LO · 2008 · author #1

Mentions

• 0811.4367 #1 · backfill · confidence 0.70 Amy Felty

Frequent Coauthors

• Alberto Momigliano 1 shared papers