6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
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…