TY - CONF AU - Böhm, Corrado AU - Tronci, Enrico PY - 1987 DA - 1987// TI - X-Separability and Left-Invertibility in lambda-calculus BT - Symposium on Logic in Computer Science (LICS) SP - 320 EP - 328 PB - IEEE Computer Society CY - Ithaca, New York, USA N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=63), last updated on Thu, 22 Nov 2012 15:00:35 +0100 ID - BAPhm+Tronci1987 ER -