@InProceedings{BAPhm+Tronci1987,
author="B{\~A}{\textparagraph}hm, Corrado
and Tronci, Enrico",
title="X-separability and left-invertibility in the $\lambda$-calculus (extended abstract, invited paper)",
booktitle="Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea",
year="1987",
address="Cesena - Italy",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=64), last updated on Thu, 22 Nov 2012 15:00:25 +0100"
}