A Higher-Order Calculus of Computational Fields

@article{fieldcalculus-tocl20,
   apice = {FieldCalculusTOCL2019},
   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
}