"Proof Transformations in Higher-Order Logic" - Spock Search

1 result for "Proof Transformations in Higher-Order Logic"
Widget
Suggest merge

Spock Results Public Records Search Email Search by Name Background Check

More details for "Proof Transformations in Higher-Order Logic":
Find Email
Hidden Profiles
Address History

Frank Pfenning

Frank Pfenning male: logical frameworks, Twelf, ProofTransformationsinHigher-Order Logic, programming language theory, automated deduction, Type theory…logic; Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...

Instantly find where all your friends are on the web. Click here to begin.