toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Corrado Böhm, and Enrico Tronci. "About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus." Inf. Comput. 90, no. 1 (1991): 1–32. DOI: 10.1016/0890-5401(91)90057-9.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print