Amy Felty


Ph.D. University of Pennsylvania 1989 UnitedStates
Dissertation: Implementing Theorem Provers in a Higher-Order Logic Programming Language

Advisor: Dale Allen Miller


Binard, FranckUniversity of Ottawa2009

According to our current on-line database, Amy Felty has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 60893 for the advisor ID.