Skip to main content
PRL Project

A Basis for Constructive, Reflexive Type Theory

by William Aitken

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.