List View
 |   | 
   web
Author Title Year Publication Publisher ISSN (up) ISBN DOI Volume Pages
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