# * A Basis for Constructive, Reflexive Type Theory *

## by William Aitken

1990-1991

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.