Paul Jackson
Verifying Garbage Collection Algorithms using the PVS Theorem Prover.
Paul Jackson, May 7, 1997
Developing Set Theory in HOL
Paul Jackson, February 28, 1995
Verifying an Implementation of a Polynomial Algebra ADT
Paul Jackson, November 29, 1994
Defining Polynomials in Constructive Type Theory
Paul Jackson, Spring 1993
Editor Demonstration
Paul Jackson, March 9, 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu