Luca Roversi

Available identifiers

zbMath Open roversi.lucaMaRDI QIDQ737108

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Roversi