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

Home | Introduction | Authors | Topics | Chronological List | PRL Project

Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: