TY - CONF AU - Böhm, Corrado AU - Tronci, Enrico PY - 1987 DA - 1987// TI - X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) BT - Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea CY - Cesena - Italy N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=64), last updated on Thu, 22 Nov 2012 15:00:25 +0100 ID - BAPhm+Tronci1987 ER -