Minimality in a Linear Calculus with Iteration

Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot. Minimality in a Linear Calculus with Iteration. Electronic Notes in Theoretical Computer Science, 204:163-179, 2008. [doi]

Abstract

Abstract is missing.