Pfenning, Frank

Pfenning, Frank
All Links

Share this:

Details of Pfenning, Frank

About Pfenning, Frank
Pfenning, Frank- Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
Education