journal : ACM Transactions on Computational Logic

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