Capsules and Separation.

Jean-Baptiste Jeannin, Dexter Kozen

Browse the full LICS paper archive.