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.

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

by Evan Moran 1997-1998

by Evan Moran
1997-1998