Luca Roversi

Available identifiers

zbMath Open roversi.lucaMaRDI QIDQ737108

List of research outcomes

Publication	Date of Publication	Type
Termination of rewriting on reversible Boolean circuits as a free 3-category problem	2025-01-16	Paper
Algorithmically expressive, always-terminating model for reversible computation	2024-11-13	Paper
Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean}	2024-02-12	Paper
Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean}	2022-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5018491	2021-12-20	Paper
Splitting Recursion Schemes into Reversible and Classical Interacting Threads	2021-11-03	Paper
On the expressivity of total reversible programming languages	2021-07-05	Paper
A type-assignment of linear erasure and duplication	2020-08-25	Paper
The fixed point problem of a simple reversible language	2020-04-21	Paper
A class of recursive permutations which is primitive recursive complete	2020-04-21	Paper
A Certified Study of a Reversible Programming Language	2018-08-13	Paper
Intuitionistic Light Affine Logic	2017-06-13	Paper
A class of reversible primitive recursive functions	2016-08-05	Paper
A deep inference system with a self-dual binder which is complete for linear lambda calculus	2016-07-07	Paper
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?	2016-01-07	Paper
LIGHT AFFINE LOGIC AS A PROGRAMMING LANGUAGE: A FIRST CONTRIBUTION	2015-04-29	Paper
Intersection types from a proof-theoretic perspective	2013-01-24	Paper
Typing a core binary-field arithmetic in a light logic	2012-11-02	Paper
Linear lambda calculus and deep inference	2011-06-17	Paper
A Local Criterion for Polynomial-Time Stratified Computations	2010-09-14	Paper
A By-Level Analysis of Multiplicative Exponential Linear Logic	2009-10-16	Paper
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets	2009-07-02	Paper
Taming Modal Impredicativity: Superlazy Reduction	2009-02-24	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q3024851	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4783322	2002-12-04	Paper
The call-by-value λ-calculus: a semantic investigation	2000-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4945245	2000-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4249177	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4362931	1998-05-17	Paper
Lambda calculus and intuitionistic linear logic	1998-02-11	Paper
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem	N/A	Paper

Research outcomes over time

This page was built for person: Luca Roversi