![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 4015 || Encoding Strategies in the Lambda Calculus with Interaction Nets
Butterfield, Andrew, Grelck, Clemens, Huch, FrankVolume:
10.1007/11
Year:
2006
Language:
english
Pages:
18
DOI:
10.1007/11964681_2
File:
PDF, 722 KB
english, 2006