1. Home
  2. Science
  3. Mathematics
  4. Pfenning, Frank

Science · Mathematics

Pfenning, Frank

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Pfenning, Frank

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

Tags

Education

Where it sits

Science Mathematics

More in Mathematics

See all →