A Type System for Required/Excluded Elements in CLS

Details A Type System for Required/Excluded Elements in CLS A Type System for Required/Excluded Elements in CLS

2009-11-12

arxiv.org/abs/0911.2323v1

EPTCS 9, 2009, pp. 38-48

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.9.5

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.

Affiliated with

Also associated with

No associations

Rating

A Type System for Required/Excluded Elements in CLS does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Type System for Required/Excluded Elements in CLS, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Type System for Required/Excluded Elements in CLS will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-150263