PT Unknown
AU Böhm, C
   Tronci, E
TI X-Separability and Left-Invertibility in lambda-calculus
SE Symposium on Logic in Computer Science (LICS)
PY 1987
BP 320
EP 328
PI Ithaca, New York, USA
ER