Todd Wilson
Work in Progress: A Formalization of the SUP-INF Algorithm
Todd Wilson, July 11, 1996
Some Recent Results of R. Dyckhoff and A. Pitts
Todd Wilson, March 26, 1996
Computer Algebra, Theorem Proving, and Types
Todd Wilson, October 4, 1994
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu