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


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



Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu