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
∙
09/15/2018
QPCF: higher order languages and quantum circuits
qPCF is a paradigmatic quantum programming language that ex- tends PCF w...
research
∙
11/02/2017