Skip to main content
PRL Project

Adding Intersection Types to Doug Howe's Classical Set-Theoretic Semantics

by Evan Moran

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.