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

by Steffen Van Bakel
Citations:2 - 2 self