25 citations · 69 across the 11 of their papers we have counts for
11 papers
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
Marco Aldinucci, Livio Bioglio, Cristina Calcagno +8
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal…
Retractions in Intersection Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro +2
This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. T…
Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes asso…
On Isomorphism of "Functional" Intersection and Union Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1
Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreove…
Toward Isomorphism of Intersection and Union types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised…
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…