A Type System for Required/Excluded Elements in CLS

Mariangiola Dezani-Ciancaglini
(Dipartimento di Informatica, Università di Torino)
Paola Giannini
(Dipartimento di Informatica, Università del Piemonte Orientale)
Angelo Troina
(Dipartimento di Informatica, Università di Torino)

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 to guarantee the soundness of reduction rules with respect to some biological properties deriving from the requirement of certain elements, and the repellency of others. As an example, we model a toy system where the repellency of a certain element is captured by our type system and forbids another element to exit a compartment.

In S. Barry Cooper and Vincent Danos: Proceedings Fifth Workshop on Developments in Computational Models — Computational Models From Nature (DCM 2009), Rhodes, Greece, 11th July 2009, Electronic Proceedings in Theoretical Computer Science 9, pp. 38–48.
Published: 15th November 2009.

ArXived at: http://dx.doi.org/10.4204/EPTCS.9.5 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org