Copatterns: programming infinite structures by observations, The 40th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '13, pp.27-38, 2013. ,
Least and greatest fixed points in linear logic, ACM Transactions on Computational Logic, vol.13, issue.1, 2012. ,