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