%0 Conference Proceedings
%T Solving Equations in λ-calculus
%A Böhm, Corrado
%A Piperno, Adolfo
%A Tronci, Enrico
%S Proc. of: Logic Colloquium 88
%D 1989
%C Padova - Italy
%F BAPhm_etal1989
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=62), last updated on Thu, 22 Nov 2012 14:59:51 +0100