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 1 1996 Theoretical Computer Science 10.1016/0304-3975(95)00105-0 160 145-184