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

Corrado Böhm Adolfo Piperno Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus 91-101 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#BohmP88