Pfenning, Frank
cs.cmu.eduCarnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.