MCLab Group List of PapersDisplays records where serial is equal to 542024-03-29T12:11:09+01:00MCLab Group List of Papersmari@di.uniroma1.ithttp://mclab.di.uniroma1.it/publications/Web Reference Database (http://refbase.sourceforge.net)http://mclab.di.uniroma1.it/publications/img/favicon.icohttp://mclab.di.uniroma1.it/publications/img/mclab-logo.pnghttp://mclab.di.uniroma1.it/publications/show.php?where=serial%20%3D%2054&showRows=10&exportType=xml&submit=Export&exportFormat=Atom%20XML111http://mclab.di.uniroma1.it/publications/show.php?record=54
Equational Programming in Lambda-Calculus via SL-Systems. Part 1
2012-11-22T14:59:18+01:002012-11-22T14:59:18+01:00Federico Mari
Enrico Tronci. “Equational Programming in Lambda-Calculus via SL-Systems. Part 1.” Theoretical Computer Science 160, no. 1&2 (1996): 145–184. DOI: 10.1016/0304-3975(95)00105-0.
Equational Programming in Lambda-Calculus via SL-Systems. Part 1Tronci, E.info:doi/10.1016/0304-3975(95)00105-0openurl:?ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fmclab.di.uniroma1.it%2Fpublications%2F&genre=article&atitle=Equational%20Programming%20in%20Lambda-Calculus%20via%20SL-Systems.%20Part%201&title=Theoretical%20Computer%20Science&date=1996&volume=160&issue=1%262&spage=145&epage=184&aulast=Tronci&aufirst=Enrico&id=info%3Adoi%2F10.1016%2F0304-3975%2895%2900105-0&sid=refbase%3AMCLab%20%40%20Sapienzacitekey:Tronci1996Enrico Tronci. "Equational Programming in Lambda-Calculus via SL-Systems. Part 1." Theoretical Computer Science 160, no. 1&2 (1996): 145-184. DOI: 10.1016/0304-3975(95)00105-0.1996JournalArticletextfile:http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1996.pdfTheoretical Computer Science19961601&2145184