TY  - JOUR
AU  - Tronci, Enrico
PY  - 1996
DA  - 1996//
TI  - Equational Programming in Lambda-Calculus via SL-Systems. Part 1
JO  - Theoretical Computer Science
SP  - 145
EP  - 184
VL  - 160
IS  - 1&2
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1996.pdf
UR  - https://doi.org/10.1016/0304-3975(95)00105-0
DO  - 10.1016/0304-3975(95)00105-0
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=54), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Tronci1996
ER  -