Amy P. Felty

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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