1. Reasoning on divergent computations with coaxioms;Ancona,2017
2. Modeling infinite behaviour by corules;Ancona,2018
3. Generalizing inference systems by coaxioms;Ancona,2017
4. Coaxioms: flexible coinductive definitions by inference systems;Dagnino;Log. Methods Comput. Sci.,2019
5. Coinductive big-step operational semantics;Leroy;Inf. Comput.,2009