Home
<<
1
>>
List View
|
Citations
|
Details
Enrico Tronci. "Equational Programming in lambda-calculus." In
Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)
, 191–202. Amsterdam, The Netherlands: IEEE Computer Society, 1991. DOI:
10.1109/LICS.1991.151644
.
http://mclab.di.uniroma1.it/publications/show.php?record=58