%0 Conference Proceedings
%T X-Separability and Left-Invertibility in lambda-calculus
%A Böhm, Corrado
%A Tronci, Enrico
%S Symposium on Logic in Computer Science (LICS)
%D 1987
%I IEEE Computer Society
%C Ithaca, New York, USA
%F BAPhm+Tronci1987
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=63), last updated on Thu, 22 Nov 2012 15:00:35 +0100
%P 320-328