Bill Aitken
Reflection
Bill Aitken, April 6, 1993
Reflection 2
Bill Aitken, March 5, 1992
Reflection 2
Bill Aitken, February 18, 1992
A Basis for Constructive, Reflexive Type Theory
Bill Aitken, October 1, 1990
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu