toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Antonio Bucciarelli, Adolfo Piperno, and Ivano Salvo. "Intersection types and λ-definability." Mathematical Structures in Computer Science 13, no. 1 (2003): 15–53. Cambridge University Press. ISSN: 0960-1295. DOI: 10.1017/S0960129502003833.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print