research
∙
01/25/2022
Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean
Reversible Primitive Permutations (RPP) are recursively defined function...
share
research
∙
05/11/2021
Splitting recursion schemes into reversible and classical interacting threads
Given a simple recursive function, we show how to extract from it a reve...
research
∙
02/18/2021
Interleaving classical and reversible
Given a simple recursive function, we show how to extract two interactin...
research
∙
07/03/2020
Probabilistic Soft Type Assignment
We model randomized complexity classes in the style of Implicit Computat...
research
∙
12/30/2019
A type-assignment of linear erasure and duplication
We introduce LEM, a type-assignment system for the linear λ-calculus tha...
research
∙
02/14/2019
Introducing Yet Another REversible Language
Yarel is a core reversible programming language that implements a class ...
research
∙
04/22/2018
Subatomic systems need not be subatomic
Subatomic systems were recently introduced to identify the structural pr...
research
∙
11/02/2017