1987

Corrado Böhm, and Enrico Tronci. "X-separability and left-invertibility in the lambda-calculus (extended abstract, invited paper)." In Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea. Cesena - Italy, 1987.