X-Separability and Left-Invertibility in lambda-calculus

Corrado Bhm, Enrico Tronci

Browse the full LICS paper archive.