Alexis Saurin

Available identifiers

zbMath Open saurin.alexisMaRDI QIDQ428893

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5079760	2022-05-28	Paper
Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4964689	2021-03-03	Paper
Infinets: the parallel syntax for non-wellfounded proof-theory	2020-05-14	Paper
PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points	2020-05-14	Paper
The fixed point property and a technique to harness double fixed point combinators	2020-02-03	Paper
Towards Completeness via Proof Search in the Linear Time μ-calculus	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5351980	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5278431	2017-07-19	Paper
From Focalization of Logic to the Logic of Focalization	2016-07-08	Paper
Classical By-Need	2016-04-26	Paper
On the Dependencies of Logical Rules	2015-10-01	Paper
Typing streams in the Λμ-calculus	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2852368	2013-10-08	Paper
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts	2012-07-20	Paper
Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus	2012-06-25	Paper
Proof and refutation in MALL as a game	2011-08-26	Paper
Classical Call-by-Need and Duality	2011-06-17	Paper
On the Meaning of Focalization	2011-03-04	Paper
Standardization and Böhm Trees for Λμ-Calculus	2010-05-04	Paper
A Hierarchy for Delimited Continuations in Call-by-Name	2010-04-27	Paper
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic	2009-03-05	Paper
Towards Ludics Programming: Interactive Proof Search	2009-01-22	Paper
On the Relations between the Syntactic Theories of λμ-Calculi	2008-11-20	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: Alexis Saurin