%0 Conference Proceedings
%T X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper)
%A Böhm, Corrado
%A Tronci, Enrico
%S Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea
%D 1987
%C Cesena - Italy
%F BAPhm+Tronci1987
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=64), last updated on Thu, 22 Nov 2012 15:00:25 +0100