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