%0 Journal Article
%T Equational Programming in Lambda-Calculus via SL-Systems. Part 1
%A Tronci, Enrico
%J Theoretical Computer Science
%D 1996
%V 160
%N 1&2
%F Tronci1996
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=54), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%R 10.1016/0304-3975(95)00105-0
%U http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1996.pdf
%U https://doi.org/10.1016/0304-3975(95)00105-0
%P 145-184