Publications

of Enrico Tassi

Articles in journal, book chapters

  1. Ferruccio Guidi, Claudio Coen, and Enrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming. December 2016. [WWW]

BACK TO INDEX