%0 Conference Proceedings
%T Equational Programming in lambda-calculus
%A Tronci, Enrico
%S Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)
%D 1991
%I IEEE Computer Society
%C Amsterdam, The Netherlands
%F Tronci1991
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=58), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%R 10.1109/LICS.1991.151644
%U http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1991.pdf
%U https://doi.org/10.1109/LICS.1991.151644
%P 191-202