Frank Pfenning

Frank Pfenning

male
logicalframeworks, Twelf, Proof Transformations in Higher-Order Logic, programming language theory, automated deduction, Type theory
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...