4 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
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…
Bouncing threads for infinitary and circular proofs
David Baelde, Amina Doumane, Denis Kuperberg +1
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account a…
Proceedings First Workshop on Control Operators and their Semantics
Ugo de'Liguoro, Alexis Saurin
The focus of the papers presented in this volume is on the interplay between syntax and semantics in case of languages, namely the central question of what a program means and how…
Intersection Logic in sequent calculus style
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos +1
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logi…