journal : ACM Transactions on Computational Logic
journal : ACM Transactions on Computational Logic
1 article / Danilo Pianini
A Higher-Order Calculus of Computational Fields (article in journal, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
[ journal cloud / publications ]