PT Unknown
AU Tronci, E
TI Equational Programming in lambda-calculus
SE Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)
PY 1991
BP 191
EP 202
DI 10.1109/LICS.1991.151644
PI Amsterdam, The Netherlands
ER