Luca Roversi

@inproceedings{bifulco2026parallelqpu,
  author    = {Mario Bifulco and Luca Roversi},
  title     = {Optimizing the Execution Strategy of Node-Local Quantum Decision Trees via Circuit Batching},
  booktitle = {Accepted for publication in: Euro-Par 2026: Parallel Processing Workshops},
  series    = {Lecture Notes in Computer Science},
  volume    = {17119},
  publisher = {Springer},
  address   = {Pisa, Italy},
  year      = {2026},
  note      = {1st Workshop on Quantum--HPC Workflows, Resources Allocation, and Scheduling (Q-WORKS 2026), Pisa, Italy, August 24--28, 2026}
}

@inproceedings{DBLP:conf/europar/BifulcoMMRA26,
  author       = {Mario Bifulco and
                  Francesco Medina and
                  Doriana Medic and
                  Luca Roversi and
                  Marco Aldinucci},
  editor       = {Massimo Torquati and
                  Gabriele Mencagli and
                  Valeria Cardellini and
                  Alessia Antelmi and
                  Doriana Medic},
  title        = {QSplit: {A} Workflow-Oriented Hybrid Quantum-Classical Optimization
                  Framework},
  booktitle    = {Euro-Par 2026: Parallel Processing - 32nd European Conference on Parallel
                  and Distributed Processing, Pisa, Italy, August 24-28, 2026, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {16782},
  pages        = {195--209},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-35251-4\_14},
  doi          = {10.1007/978-3-032-35251-4\_14},
  timestamp    = {Tue, 01 Sep 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/BifulcoMMRA26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2501-05259,
  author       = {Matteo Palazzo and
                  Luca Roversi},
  editor       = {Thorsten Altenkirch and
                  Franco Barbanera and
                  Ferruccio Damiani and
                  Ugo de'Liguoro},
  title        = {Reversible Computation with Stacks and "Reversible Management of Failures"},
  booktitle    = {Logics and Type Theory: essays dedicated to Stefano Berardi on the
                  occasion of his 1000000th birthday, Logics and Type Theory 2026, Turin,
                  Italy, 12th April 2026},
  series       = {{EPTCS}},
  volume       = {441},
  pages        = {213--226},
  year         = {2026},
  month        = jan,
  url          = {https://doi.org/10.4204/EPTCS.441.13},
  doi          = {10.4204/EPTCS.441.13},
  timestamp    = {Mon, 03 Aug 2026 15:52:43 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2501-05259.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BarileBR25,
  author       = {Adriano Barile and
                  Stefano Berardi and
                  Luca Roversi},
  title        = {Termination of rewriting on reversible Boolean circuits as a free
                  3-category problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {1028},
  pages        = {115031},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.tcs.2024.115031},
  doi          = {10.1016/J.TCS.2024.115031},
  timestamp    = {Sat, 25 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BarileBR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bighpc/BifulcoR25,
  author       = {Mario Bifulco and
                  Luca Roversi},
  editor       = {Alessia Antelmi and
                  Massimo Cafaro and
                  Italo Epicoco and
                  Marco Pulimeno},
  title        = {Exploring an implementation of quantum learning pipeline for support
                  vector machines},
  booktitle    = {Proceedings of the 3rd Special Track on Big Data and High-Performance
                  Computing (BigHPC 2025) co-located with the 4th Italian Conference
                  on Big Data and Data Science {(ITADATA} 2025), Turin, Italy, September
                  9-11, 2025},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {4124},
  pages        = {1--6},
  publisher    = {CEUR-WS.org},
  year         = {2025},
  url          = {https://ceur-ws.org/Vol-4124/paper16.pdf},
  timestamp    = {Tue, 27 Jan 2026 17:17:18 +0100},
  biburl       = {https://dblp.org/rec/conf/bighpc/BifulcoR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/PalazzoR25,
  author       = {Matteo Palazzo and
                  Luca Roversi},
  editor       = {Robert Gl{\"{u}}ck and
                  Robin Kaarsgaard},
  title        = {Towards a Characterization of Two-Way Bijections in a Reversible Computational
                  Model},
  booktitle    = {Reversible Computation - 17th International Conference, {RC} 2025,
                  Odense, Denmark, July 3-4, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15716},
  pages        = {128--136},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-97063-4\_10},
  doi          = {10.1007/978-3-031-97063-4\_10},
  timestamp    = {Sun, 06 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/PalazzoR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2511-03327,
  author       = {Mario Bifulco and
                  Luca Roversi},
  title        = {Exploring Topologies in Quantum Annealing: {A} Hardware-Aware Perspective},
  journal      = {CoRR},
  volume       = {abs/2511.03327},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2511.03327},
  doi          = {10.48550/ARXIV.2511.03327},
  eprinttype   = {arXiv},
  eprint       = {2511.03327},
  timestamp    = {Fri, 02 Jan 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2511-03327.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/MalettoR24,
  author       = {Giacomo Maletto and
                  Luca Roversi},
  title        = {Certifying expressive power and algorithms of reversible primitive
                  permutations with Lean},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100923},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100923},
  doi          = {10.1016/J.JLAMP.2023.100923},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/MalettoR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/PalazzoPRZ24,
  author       = {Matteo Palazzo and
                  Luca Paolini and
                  Luca Roversi and
                  Margherita Zorzi},
  editor       = {Ugo de'Liguoro and
                  Matteo Palazzo and
                  Luca Roversi},
  title        = {Host-Core Calculi for Non-classical Computations: {A} First Insight},
  booktitle    = {Proceedings of the 25th Italian Conference on Theoretical Computer
                  Science, Torino, Italy, September 11-13, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3811},
  pages        = {255--268},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3811/paper280.pdf},
  timestamp    = {Thu, 07 Nov 2024 16:44:43 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/PalazzoPRZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/PalazzoR24,
  author       = {Matteo Palazzo and
                  Luca Roversi},
  editor       = {Torben {\AE}gidius Mogensen and
                  Lukasz Mikulski},
  title        = {Algorithmically Expressive, Always-Terminating Model for Reversible
                  Computation},
  booktitle    = {Reversible Computation - 16th International Conference, {RC} 2024,
                  Toru{\'{n}}, Poland, July 4-5, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14680},
  pages        = {31--49},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62076-8\_3},
  doi          = {10.1007/978-3-031-62076-8\_3},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/PalazzoR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2409-16928,
  author       = {Mario Bifulco and
                  Luca Roversi},
  title        = {Quantum-Classical Sentiment Analysis},
  journal      = {CoRR},
  volume       = {abs/2409.16928},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2409.16928},
  doi          = {10.48550/ARXIV.2409.16928},
  eprinttype   = {arXiv},
  eprint       = {2409.16928},
  timestamp    = {Thu, 17 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2409-16928.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/MalettoR22,
  author       = {Giacomo Maletto and
                  Luca Roversi},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Certifying Algorithms and Relevant Properties of Reversible Primitive
                  Permutations with Lean},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_8},
  doi          = {10.1007/978-3-031-09005-9\_8},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/MalettoR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/DamianiPR22,
  author       = {Ferruccio Damiani and
                  Luca Paolini and
                  Luca Roversi},
  title        = {Programming the Interaction with Quantum Coprocessors},
  journal      = {{ERCIM} News},
  volume       = {2022},
  number       = {128},
  year         = {2022},
  url          = {https://ercim-news.ercim.eu/en128/special/programming-the-interaction-with-quantum-coprocessors},
  timestamp    = {Thu, 06 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ercim/DamianiPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/MatosPR21,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  editor       = {Shigeru Yamashita and
                  Tetsuo Yokoyama},
  title        = {Splitting Recursion Schemes into Reversible and Classical Interacting
                  Threads},
  booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021,
                  Virtual Event, July 7-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12805},
  pages        = {204--213},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79837-6\_12},
  doi          = {10.1007/978-3-030-79837-6\_12},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/MatosPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-09436,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  title        = {Interleaving classical and reversible},
  journal      = {CoRR},
  volume       = {abs/2102.09436},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09436},
  eprinttype   = {arXiv},
  eprint       = {2102.09436},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MatosPR20,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  title        = {The fixed point problem of a simple reversible language},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {143--154},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.10.005},
  doi          = {10.1016/J.TCS.2019.10.005},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MatosPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PaoliniPR20,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  title        = {A class of Recursive Permutations which is Primitive Recursive complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {218--233},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.11.029},
  doi          = {10.1016/J.TCS.2019.11.029},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PaoliniPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CurziR20,
  author       = {Gianluca Curzi and
                  Luca Roversi},
  title        = {A type-assignment of linear erasure and duplication},
  journal      = {Theor. Comput. Sci.},
  volume       = {837},
  pages        = {26--53},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.05.001},
  doi          = {10.1016/J.TCS.2020.05.001},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CurziR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/MatosPR20,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  editor       = {Ivan Lanese and
                  Mariusz Rawski},
  title        = {On the Expressivity of Total Reversible Programming Languages},
  booktitle    = {Reversible Computation - 12th International Conference, {RC} 2020,
                  Oslo, Norway, July 9-10, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12227},
  pages        = {128--143},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-52482-1\_7},
  doi          = {10.1007/978-3-030-52482-1\_7},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/MatosPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-01733,
  author       = {Gianluca Curzi and
                  Luca Roversi},
  title        = {Probabilistic Soft Type Assignment},
  journal      = {CoRR},
  volume       = {abs/2007.01733},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.01733},
  eprinttype   = {arXiv},
  eprint       = {2007.01733},
  timestamp    = {Mon, 06 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-01733.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1902-05369,
  author       = {Claudio Grandi and
                  Dariush Moshiri and
                  Luca Roversi},
  title        = {Introducing Yet Another REversible Language},
  journal      = {CoRR},
  volume       = {abs/1902.05369},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.05369},
  eprinttype   = {arXiv},
  eprint       = {1902.05369},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-05369.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ngc/PaoliniPR18,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  title        = {On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete
                  Extensions},
  journal      = {New Gener. Comput.},
  volume       = {36},
  number       = {3},
  pages        = {233--256},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00354-018-0039-1},
  doi          = {10.1007/S00354-018-0039-1},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/PaoliniPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MatosPR18,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  editor       = {Alessandro Aldini and
                  Marco Bernardo},
  title        = {The Fixed Point Problem for General and for Linear {SRL} Programs
                  is Undecidable},
  booktitle    = {Proceedings of the 19th Italian Conference on Theoretical Computer
                  Science, Urbino, Italy, September 18-20, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2243},
  pages        = {128--139},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2243/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MatosPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-00774,
  author       = {Luca Paolini and
                  Luca Roversi and
                  Margherita Zorzi},
  editor       = {Thomas Ehrhard and
                  Maribel Fern{\'{a}}ndez and
                  Valeria de Paiva and
                  Lorenzo Tortora de Falco},
  title        = {Quantum programming made easy},
  booktitle    = {Proceedings Joint International Workshop on Linearity {\&} Trends
                  in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
                  UK, 7-8 July 2018},
  series       = {{EPTCS}},
  volume       = {292},
  pages        = {133--147},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.292.8},
  doi          = {10.4204/EPTCS.292.8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-00774.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1804-08105,
  author       = {Luca Roversi},
  title        = {Subatomic systems need not be subatomic},
  journal      = {CoRR},
  volume       = {abs/1804.08105},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.08105},
  eprinttype   = {arXiv},
  eprint       = {1804.08105},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/Roversi16,
  author       = {Luca Roversi},
  title        = {A deep inference system with a self-dual binder which is complete
                  for linear lambda calculus},
  journal      = {J. Log. Comput.},
  volume       = {26},
  number       = {2},
  pages        = {677--698},
  year         = {2016},
  url          = {https://doi.org/10.1093/logcom/exu033},
  doi          = {10.1093/LOGCOM/EXU033},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Roversi16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CanaveseCOPR15,
  author       = {Daniele Canavese and
                  Emanuele Cesena and
                  Rachid Ouchary and
                  Marco Pedicini and
                  Luca Roversi},
  title        = {Light combinators for finite fields arithmetic},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {365--394},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.001},
  doi          = {10.1016/J.SCICO.2015.04.001},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CanaveseCOPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/PaoliniPR15,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  editor       = {Tarmo Uustalu},
  title        = {A Certified Study of a Reversible Programming Language},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, Tallinn, Estonia, May 18-21, 2015},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {7:1--7:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.7},
  doi          = {10.4230/LIPICS.TYPES.2015.7},
  timestamp    = {Fri, 21 Nov 2025 14:06:54 +0100},
  biburl       = {https://dblp.org/rec/conf/types/PaoliniPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PaoliniPR16,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  editor       = {Pierluigi Crescenzi and
                  Michele Loreti},
  title        = {A Class of Reversible Primitive Recursive Functions},
  booktitle    = {Proceedings of the 16th Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {322},
  pages        = {227--242},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.03.016},
  doi          = {10.1016/J.ENTCS.2016.03.016},
  timestamp    = {Thu, 10 Nov 2022 11:36:06 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PaoliniPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/CanaveseCOPR13,
  author       = {Daniele Canavese and
                  Emanuele Cesena and
                  Rachid Ouchary and
                  Marco Pedicini and
                  Luca Roversi},
  editor       = {Ugo Dal Lago and
                  Ricardo Pe{\~{n}}a},
  title        = {Can a Light Typing Discipline Be Compatible with an Efficient Implementation
                  of Finite Fields Inversion?},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - Third International
                  Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8552},
  pages        = {38--57},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-12466-7\_3},
  doi          = {10.1007/978-3-319-12466-7\_3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/CanaveseCOPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PimentelRR12,
  author       = {Elaine Pimentel and
                  Simona Ronchi Della Rocca and
                  Luca Roversi},
  title        = {Intersection Types from a Proof-theoretic Perspective},
  journal      = {Fundam. Informaticae},
  volume       = {121},
  number       = {1-4},
  pages        = {253--274},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-778},
  doi          = {10.3233/FI-2012-778},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PimentelRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1212-4483,
  author       = {Luca Roversi},
  title        = {Extending a system in the calculus of structures with a self-dual
                  quantifier},
  journal      = {CoRR},
  volume       = {abs/1212.4483},
  year         = {2012},
  url          = {http://arxiv.org/abs/1212.4483},
  eprinttype   = {arXiv},
  eprint       = {1212.4483},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-4483.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1212-4669,
  author       = {Luca Roversi},
  title        = {Communication, and concurrency with logic-based restriction inside
                  a calculus of structures},
  journal      = {CoRR},
  volume       = {abs/1212.4669},
  year         = {2012},
  url          = {http://arxiv.org/abs/1212.4669},
  eprinttype   = {arXiv},
  eprint       = {1212.4669},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-4669.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tlsdkcs/BonfanteCGILLMMRV11,
  author       = {Paola Bonfante and
                  Francesca Cordero and
                  Stefano Ghignone and
                  Dino Ienco and
                  Luisa Lanfranco and
                  Giorgio Leonardi and
                  Rosa Meo and
                  Stefania Montani and
                  Luca Roversi and
                  Alessia Visconti},
  title        = {A Modular Database Architecture Enabled to Comparative Sequence Analysis},
  journal      = {Trans. Large Scale Data Knowl. Centered Syst.},
  volume       = {4},
  pages        = {124--147},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23740-9\_6},
  doi          = {10.1007/978-3-642-23740-9\_6},
  timestamp    = {Wed, 20 May 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tlsdkcs/BonfanteCGILLMMRV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/CesenaPR11,
  author       = {Emanuele Cesena and
                  Marco Pedicini and
                  Luca Roversi},
  editor       = {Ricardo Pe{\~{n}}a and
                  Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Typing a Core Binary-Field Arithmetic in a Light Logic},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - Second International
                  Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7177},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32495-6\_2},
  doi          = {10.1007/978-3-642-32495-6\_2},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/CesenaPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/Roversi11,
  author       = {Luca Roversi},
  editor       = {C.{-}H. Luke Ong},
  title        = {Linear Lambda Calculus and Deep Inference},
  booktitle    = {Typed Lambda Calculi and Applications - 10th International Conference,
                  {TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6690},
  pages        = {184--197},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21691-6\_16},
  doi          = {10.1007/978-3-642-21691-6\_16},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/Roversi11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1005-0522,
  author       = {Luca Roversi and
                  Luca Vercelli},
  editor       = {Patrick Baillot},
  title        = {Safe Recursion on Notation into a Light Logic by Levels},
  booktitle    = {Proceedings International Workshop on Developments in Implicit Computational
                  complExity, {DICE} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {23},
  pages        = {63--77},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.23.5},
  doi          = {10.4204/EPTCS.23.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-0522.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1011-3668,
  author       = {Luca Roversi},
  title        = {Linear lambda calculus with explicit substitutions as proof-search
                  in Deep Inference},
  journal      = {CoRR},
  volume       = {abs/1011.3668},
  year         = {2010},
  url          = {http://arxiv.org/abs/1011.3668},
  eprinttype   = {arXiv},
  eprint       = {1011.3668},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-3668.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/RoversiV09,
  author       = {Luca Roversi and
                  Luca Vercelli},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {A Local Criterion for Polynomial-Time Stratified Computations},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_8},
  doi          = {10.1007/978-3-642-15331-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/RoversiV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lfcs/LagoRV09,
  author       = {Ugo Dal Lago and
                  Luca Roversi and
                  Luca Vercelli},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Taming Modal Impredicativity: Superlazy Reduction},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5407},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-92687-0\_10},
  doi          = {10.1007/978-3-540-92687-0\_10},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfcs/LagoRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/GaboardiRV09,
  author       = {Marco Gaboardi and
                  Luca Roversi and
                  Luca Vercelli},
  editor       = {Rastislav Kr{\'{a}}lovic and
                  Damian Niwinski},
  title        = {A By-Level Analysis of Multiplicative Exponential Linear Logic},
  booktitle    = {Mathematical Foundations of Computer Science 2009, 34th International
                  Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
                  24-28, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5734},
  pages        = {344--355},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03816-7\_30},
  doi          = {10.1007/978-3-642-03816-7\_30},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GaboardiRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/RoversiV08,
  author       = {Luca Roversi and
                  Luca Vercelli},
  editor       = {Stefano Berardi and
                  Ferruccio Damiani and
                  Ugo de'Liguoro},
  title        = {Some Complexity and Expressiveness Results on Multimodal and Stratified
                  Proof Nets},
  booktitle    = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
                  Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5497},
  pages        = {306--322},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-02444-3\_19},
  doi          = {10.1007/978-3-642-02444-3\_19},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/RoversiV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0804-0660,
  author       = {Luca Roversi},
  title        = {Weak Affine Light Typing is complete with respect to Safe Recursion
                  on Notation},
  journal      = {CoRR},
  volume       = {abs/0804.0660},
  year         = {2008},
  url          = {http://arxiv.org/abs/0804.0660},
  eprinttype   = {arXiv},
  eprint       = {0804.0660},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0804-0660.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0712-4222,
  author       = {Luca Roversi},
  title        = {Weak Affine Light Typing: Polytime intensional expressivity, soundness
                  and completeness},
  journal      = {CoRR},
  volume       = {abs/0712.4222},
  year         = {2007},
  url          = {http://arxiv.org/abs/0712.4222},
  eprinttype   = {arXiv},
  eprint       = {0712.4222},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-4222.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/LagoMR03,
  author       = {Ugo Dal Lago and
                  Simone Martini and
                  Luca Roversi},
  editor       = {Stefano Berardi and
                  Mario Coppo and
                  Ferruccio Damiani},
  title        = {Higher-Order Linear Ramified Recurrence},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
                  Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3085},
  pages        = {178--193},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24849-1\_12},
  doi          = {10.1007/978-3-540-24849-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/LagoMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AspertiR02,
  author       = {Andrea Asperti and
                  Luca Roversi},
  title        = {Intuitionistic Light Affine Logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {3},
  number       = {1},
  pages        = {137--175},
  year         = {2002},
  url          = {https://doi.org/10.1145/504077.504081},
  doi          = {10.1145/504077.504081},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AspertiR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/RoccaR01,
  author       = {Simona Ronchi Della Rocca and
                  Luca Roversi},
  editor       = {Laurent Fribourg},
  title        = {Intersection Logic},
  booktitle    = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
                  Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2142},
  pages        = {414--428},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44802-0\_29},
  doi          = {10.1007/3-540-44802-0\_29},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/RoccaR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/Roversi00,
  author       = {Luca Roversi},
  title        = {Light Affine Logic as a Programming Language: {A} First Contribution},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {11},
  number       = {1},
  pages        = {113--152},
  year         = {2000},
  url          = {https://doi.org/10.1142/S0129054100000077},
  doi          = {10.1142/S0129054100000077},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Roversi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0006010,
  author       = {Andrea Asperti and
                  Luca Roversi},
  title        = {Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness
                  and Completeness)},
  journal      = {CoRR},
  volume       = {cs.LO/0006010},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0006010},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0006010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/PravatoRR99,
  author       = {Alberto Pravato and
                  Simona Ronchi Della Rocca and
                  Luca Roversi},
  title        = {The call-by-value [lambda]-calculus: a semantic investigation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {9},
  number       = {5},
  pages        = {617--650},
  year         = {1999},
  url          = {http://journals.cambridge.org/action/displayAbstract?aid=44803},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/PravatoRR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Roversi99,
  author       = {Luca Roversi},
  editor       = {J{\"{o}}rg Flum and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A P-Time Completeness Proof for Light Logics},
  booktitle    = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
                  Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1683},
  pages        = {469--483},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48168-0\_33},
  doi          = {10.1007/3-540-48168-0\_33},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Roversi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asian/Roversi98,
  author       = {Luca Roversi},
  editor       = {Jieh Hsiang and
                  Atsushi Ohori},
  title        = {A Polymorphic Language Which Is Typable and Poly-step},
  booktitle    = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
                  Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1538},
  pages        = {43--60},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49366-2\_4},
  doi          = {10.1007/3-540-49366-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/Roversi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/RoccaR97,
  author       = {Simona Ronchi Della Rocca and
                  Luca Roversi},
  title        = {Lambda Calculus and Intuitionistic Linear Logic},
  journal      = {Stud Logica},
  volume       = {59},
  number       = {3},
  pages        = {417--448},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1005092630115},
  doi          = {10.1023/A:1005092630115},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/RoccaR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Roversi96,
  author       = {Luca Roversi},
  editor       = {Dirk van Dalen and
                  Marc Bezem},
  title        = {A Type-Free Resource-Aware Lambda-Calculus},
  booktitle    = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
                  Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
                  1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1258},
  pages        = {399--413},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-63172-0\_52},
  doi          = {10.1007/3-540-63172-0\_52},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Roversi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/PravatoRR95,
  author       = {Alberto Pravato and
                  Simona Ronchi Della Rocca and
                  Luca Roversi},
  editor       = {Mariangiola Dezani{-}Ciancaglini and
                  Gordon D. Plotkin},
  title        = {Categorical semantics of the call-by-value lambda-calculus},
  booktitle    = {Typed Lambda Calculi and Applications, Second International Conference
                  on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
                  April 10-12, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {902},
  pages        = {381--396},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0014066},
  doi          = {10.1007/BFB0014066},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/PravatoRR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}