27 citations · 77 across the 18 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Towards the Automated Generation of Focused Proof Systems
Vivek Nigam, Giselle Reis, Leonardo Lima
This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structure…
cs.PL2015★ 2 cited
Effect-Dependent Transformations for Concurrent Programs
Nick Benton, Martin Hofmann, Vivek Nigam
We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of genera…