Home << 1 >>
List View
 | 
Citations
 | 
Details
   web
Author Title Year Publication Publisher ISSN 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