Chronological Index:
Summer 1993

Theorem Proving with Real Numbers
Robert L. Constable, August 31, 1993
Connecting Formal Semantics to Constructive Intuitions
Michael J. O'Donnell, The University of Chicago, July 6, 1993
Project Overview
Robert L. Constable, July 1, 1993


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


Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: joan@cs.cornell.edu