TY  - CONF
AU  - Tronci, Enrico
PY  - 1991
DA  - 1991//
TI  - Equational Programming in lambda-calculus
BT  - Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)
SP  - 191
EP  - 202
PB  - IEEE Computer Society
CY  - Amsterdam, The Netherlands
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1991.pdf
UR  - https://doi.org/10.1109/LICS.1991.151644
DO  - 10.1109/LICS.1991.151644
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=58), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Tronci1991
ER  -