toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano Intersection types and λ-definability 2003 Mathematical Structures in Computer Science Cambridge University Press 0960-1295 10.1017/S0960129502003833 13 15-53 details   file doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: