Existential Positive Types and Preservation under Homomorphisisms.

Benjamin Rossman

Browse the full LICS paper archive.