Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus

Corrado Bhm, Adolfo Piperno

Browse the full LICS paper archive.