PT Journal
AU Tronci, E
TI Equational Programming in Lambda-Calculus via SL-Systems. Part 2
SO Theoretical Computer Science
PY 1996
BP 185
EP 216
VL 160
IS 1&2
DI 10.1016/0304-3975(95)00106-9
ER