toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Adolfo Piperno, and Enrico Tronci. "Regular Systems of Equations in λ-calculus." Int. J. Found. Comput. Sci. 1, no. 3 (1990): 325–340. DOI: 10.1142/S0129054190000230.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print