Gianluca Amato, James Lipton, Robert McGrail. On the algebraic structure of declarative programming languages. Theoretical Computer Science, 410(46):4626-4671, 2009. [doi]
@article{AmatoLM09, title = {On the algebraic structure of declarative programming languages}, author = {Gianluca Amato and James Lipton and Robert McGrail}, year = {2009}, doi = {10.1016/j.tcs.2009.07.038}, url = {http://dx.doi.org/10.1016/j.tcs.2009.07.038}, tags = {programming languages, algebra, programming}, researchr = {https://researchr.org/publication/AmatoLM09}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {410}, number = {46}, pages = {4626-4671}, }