4 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Livio Bioglio
In this paper we present a minimal object oriented core calculus for modelling the biological notion of type that arises from biological ontologies in formalisms based on term rewr…