Typed Reductions of CLS.
Livio Bioglio · Italian Conference on Theoretical Computer Science · 2009
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, derived from the requirement of certain elements and the repellency of others, and a type semantic, based on rules respecting different biological properties.