Amy P. Felty

Identifiers

• name variant Amy P. Felty 0.60 · backfill

Papers (3)

1. Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic cs.LO · 2018 · author #2
2. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks cs.LO · 2015 · author #1
3. Polymorphic lemmas and definitions in Lambda Prolog and Twelf cs.LO · 2004 · author #2

Mentions

• 1503.06095 #1 · backfill · confidence 0.70 Amy P. Felty

Frequent Coauthors

• Alberto Momigliano 1 shared papers
• Andrew W. Appel 1 shared papers
• Brigitte Pientka 1 shared papers
• Mohamed Yousri Mahmoud 1 shared papers