Dr. Robert L. Constable

From Scholarpedia

Curator of Scholarpedia

Department of Computer Science, Cornell University, Ithaca, NY

Curator of:
Computational type theory
Author of:
Computational type theory
invitations
20 June 2008Computational type theoryto author (agreed)

(There is currently no text in this page)

Retrieved from "http://www.scholarpedia.org/article/User:Constable"
For authors