25 citations · 128 across the 20 of their papers we have counts for
3 papers · 1 filter
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Cristina Calcagno, Mario Coppo, Ferruccio Damiani +4
Arbuscular mycorrhiza (AM) is the most wide-spread plant-fungus symbiosis on earth. Investigating this kind of symbiosis is considered one of the most promising ways to develop met…
A Spatial Calculus of Wrapped Compartments
Livio Bioglio, Cristina Calcagno, Mario Coppo +4
The Calculus of Wrapped Compartments (CWC) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. Although CWC has no expl…
Type Inference for Bimorphic Recursion
Makoto Tatsuta, Ferruccio Damiani
This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic…