Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.

No queries for gtps.math.cmu.edu/andrews.html