Scholarpedia is supported by Brain Corporation

Dr. Robert Harper

From Scholarpedia

Curator of ScholarpediaCurator Index: 0

Jump to: navigation, search

Carnegie Mellon University, Pittsbourgh, PA

Articles sponsored or reviewed

Computational type theory
(2009) Robert L. Constable

Retrieved from "http://www.scholarpedia.org/w/index.php?title=User:Robert_Harper&oldid=106323"

Personal tools

Log in