PRL Seminars
A Basis for Constructive, Reflexive Type Theory
Bill Aitken
October 1, 1990
Abstract
In this week's PRL seminar, I will present a basis for constructive, reflexive type theory.
In particular, I will introduce the necessary
concepts to build a semantics for Reflected Nuprl in the style of
Stuart Allen's thesis.