The Inhabitation Problem for Intersection Types

In the system of intersection types, without , the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsystem of , that lacks the

• Type: Conference
• Year: 2008
• Where: CATS
• Authors: Martin W. Bunder
• Keywords: Applied Computing, Arbitrary Type, CATS 2008, Intersection Types