Instantiations, Zippers and EPR Interpolation.

Nikolaj S. Bjrner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav

Browse the full LPAR paper archive.