16 citations · 28 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Subexponential View of Domains in Session Types
Daniele Nantes, Carlos Olarte, Daniel Ventura
Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections bet…
cs.LO2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and ident…