toggle visibility Search & Display Options

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

Save Citations:
Export Records: