Luca Roversi
Identifiers
- name variant Luca Roversi 0.60 · backfill
Papers (11)
- Introducing Yet Another REversible Language cs.PL · 2019 · author #3
- Subatomic systems need not be subatomic cs.LO · 2018 · author #1
- Quantum Programming Made Easy cs.LO · 2017 · author #2
- Communication, and concurrency with logic-based restriction inside a calculus of structures cs.LO · 2012 · author #1
- Extending a system in the calculus of structures with a self-dual quantifier cs.LO · 2012 · author #1
- Typing a Core Binary Field Arithmetic in a Light Logic cs.LO · 2011 · author #3
- Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference cs.LO · 2010 · author #1
- Taming Modal Impredicativity: Superlazy Reduction cs.LO · 2008 · author #2
- Weak Affine Light Typing is complete with respect to Safe Recursion on Notation cs.LO · 2008 · author #1
- Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness cs.LO · 2007 · author #1
- Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness) cs.LO · 2000 · author #2
Mentions
Frequent Coauthors
- Andrea Asperti 1 shared papers
- Claudio Grandi 1 shared papers
- Dariush Moshiri 1 shared papers
- Emanuele Cesena 1 shared papers
- Luca Paolini 1 shared papers
- Luca Vercelli 1 shared papers
- Marco Pedicini 1 shared papers
- Margherita Zorzi 1 shared papers
- Ugo Dal Lago 1 shared papers