On the Reflection Mechanism in Nuprl
Sergei Artemov, November 24, 1998
Reflection Mechanisms in Nuprl
Stuart Allen, Robert L. Constable, November 10, 1998
Bill Aitken, April 6, 1993
A Basis for Constructive, Reflexive Type Theory
Bill Aitken, October 1, 1990
Department of Computer Science, Cornell University, Ithaca, NY.