4 citations · 5 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
The exponential logic of sequentialization
Aurore Alcolei, Luc Pellissier, Alexis Saurin
Linear logic has provided new perspectives on proof-theory, denotational semantics and the study of programming languages. One of its main successes are proof-nets, canonical repre…
cs.LO2023
A Curry-Howard Correspondence for Linear, Reversible Computation
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
In this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how…