A Higher-Order Calculus of Computational Fields
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
ACM Transactions on Computational Logic 20(1), pages 1–55, 55 pages, January 2019
Association for Computing Machinery (ACM)
@article{fieldcalculusTocl20,
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
doi = {10.1145/3285956},
journal = {{ACM} Transactions on Computational Logic},
month = jan,
number = 1,
pages = {1--55},
publisher = {ACM},
title = {A Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1145/3285956},
volume = 20,
year = 2019}
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
doi = {10.1145/3285956},
journal = {{ACM} Transactions on Computational Logic},
month = jan,
number = 1,
pages = {1--55},
publisher = {ACM},
title = {A Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1145/3285956},
volume = 20,
year = 2019}