1.4k citations
- Université Paris-SudFR237 papers
- Centre National de la Recherche ScientifiqueFR177 papers
- Institut national de recherche en sciences et technologies du numériqueFR105 papers
- Université Paris-SaclayFR70 papers
- Centre Inria de SaclayFR53 papers
- University of California, BerkeleyUS34 papers
- Institut d'Astrophysique SpatialeFR30 papers
- Université Paris DiderotFR30 papers
- Sapienza University of RomeIT27 papers
- Université Toulouse III - Paul SabatierFR27 papers
- University of California, DavisUS27 papers
- California Institute of TechnologyUS26 papers
Showing 2016 · cs.LOShow all
3 papers · 2 filters
cs.LO2016★ 24 cited
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects
Ugo Dal Lago, Claudia Faggian, Benoit Valiron +1
We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication…
cs.LO2016★ 15 cited
Goal-Oriented Reduction of Automata Networks
Loïc Paulevé
We consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we depict a reduction procedure tailored f…
cs.LO2016★ 7 cited
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, Chantal Keller +3
This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic…