Amanda Holland-Minkley

Nuprl Library Annotation
Amanda Holland-Minkley, April 5, 2004
A Linguistic View of Constuctive Type Theory
Amanda Holland-Minkley, February 2, 2004
Verbalization of High-Level Formal Proofs
Amanda Holland-Minkley, February 1, 1999


Home | Introduction |Authors | Topics | Chronological List | PRL Project

Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu