A Higher-Order Calculus of Computational Fields

@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}

Publication

— authors

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal

— status

published

— sort

article in journal

— publication date

January 2019

— journal

ACM Transactions on Computational Logic

— volume

20

— issue

1

— pages

1–55

— number of pages

55

URLs

original page  |  original PDF

identifiers

— DOI

10.1145/3285956

— ACM

3301291.3285956

— print ISSN

1529-3785

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY