Completeness and Soundness results for X with Intersection and Union Types

Cached

Download Links

by Steffen van Bakel
Citations:3 - 3 self