Chronological Index:
1993-94

Spring Semester

A Program Transformation System
Annie Liu, Spring 1994
Verifying a Pipelined Circuit
Mark Aagaard, April 5, 1994
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Scott Stoller, March 29, 1994
Formalizing the Theory Concept in Nuprl
Jason Hickey, March 1994
Formalizing the Theory Mechanism in NuPRL
Jason Hickey, March 15, 1994
Working Seminar: System Release 4.2
March 7, 1994
Hilbert Basis Function
Thomas Yan, March 1, 1994
The MIZAR Project
Paul Jackson, February 15, 1994
A Constructive Completeness Proof for Intuitionistic Predicate Calculus
Judith Underwood, February 1, 1994

Fall Semester

Reasoning about Scientific Programs
Conal Mannion and Stuart Allen, 1993
Extraction of Programs
Benjamin Werner, Fall 1993
Polya/Nuprl
Stuart Allen, Fall 1993
Abstract Programming in Nuprl
Jason Hickey, November 1993
Editing
Stuart Allen, November 16, 1993
Formalizing Hamiltonian Dynamics
Conal Mannion, November 9, 1993
Computational Content of Math
Douglas Bridges, October 19, 1993
How to Integrate Set Theory and Computation?
Scott Stoller, September 14, 1993
A (Possibly) New Scheme for Libraries/Proof-Contexts
Chet Murthy, September 3, 1993