toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Tronci, Enrico Equational Programming in Lambda-Calculus via SL-Systems. Part 2 1996 Theoretical Computer Science 10.1016/0304-3975(95)00106-9 160 185-216 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: