7 citations · 28 across the 17 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 3 cited
Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
Luca Roversi
SBV is a deep inference system that extends the set of logical operators of multiplicative linear logic with the non commutative operator Seq. We introduce the logical system SBVr…
cs.LO2010★ 3 cited
Proceedings International Workshop on Developments in Implicit Computational complExity
Patrick Baillot
This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos,…
cs.LO2010★ 4 cited
Safe Recursion on Notation into a Light Logic by Levels
Luca Roversi, Luca Vercelli
We embed Safe Recursion on Notation (SRN) into Light Affine Logic by Levels (LALL), derived from the logic L4. LALL is an intuitionistic deductive system, with a polynomial time cu…