Frank Pfenning

Frank Pfenning

male
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He... More
Search For: logical frameworks Carnegie Mellon University Proof Transformations in Higher-Order Logic programming languages Carnegie Mellon University faculty philosophy