5 citations · 11 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2015★ 3 cited
Reasoning about modular datatypes with Mendler induction
Paolo Torrini, Tom Schrijvers
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is hi…
cs.LO2010★ 1 cited
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can b…
cs.LO2009★ 2 cited
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embeddi…