Reduction in X does not agree with Intersection and Union Types (2008)

by S van Bakel
Venue:In Electronic Proceedings of 4th International Workshop Intersection Types and Related Systems (ITRS’08