25 citations · 74 across the 13 of their papers we have counts for
1 paper · 2 filters
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline…