10 citations · 17 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2012★ 6 cited
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini +3
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacteria…
cs.LO2011
Relating Church-Style and Curry-Style Subtyping
Adriana Compagnoni, Healfdene Goguen
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A compli…