8 citations · 14 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Proof systems: from nestings to sequents and back
Elaine Pimentel
In this work, we explore proof theoretical connections between sequent, nested and labelled calculi. In particular, we show a general algorithm for transforming a class of nested s…
cs.LO2018
A Concurrent Constraint Programming Interpretation of Access Permissions
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of…