toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Enrico Tronci. "Equational Programming in Lambda-Calculus via SL-Systems. Part 1." Theoretical Computer Science 160, no. 1&2 (1996): 145–184. DOI: 10.1016/0304-3975(95)00105-0.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print