Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation.

Alexis Saurin

Browse the full FSCD paper archive.