PRL Seminars

I will outline work in progress on adding intersection types to Doug Howe's classical set-theoretic semantics for Nuprl. I will also mention simple recursive types and briefly show that some of these types are intrinsically incompatible with this classical set-theoretic semantics.