3 citations · 17 across the 14 of their papers we have counts for
1 paper · 1 filter
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…