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

## by Evan Moran

1997-1998

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.