×

zbMATH — the first resource for mathematics

Saurin, Alexis

Compute Distance To:
Author ID: saurin.alexis Recent zbMATH articles by "Saurin, Alexis"
Published as: Saurin, Alexis
Documents Indexed: 24 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 55 times in 40 Documents Cited by Year
From proofs to focused proofs: A modular proof of focalization in linear logic. Zbl 1179.03064
Miller, Dale; Saurin, Alexis
16
2007
Classical call-by-need and duality. Zbl 1331.68041
Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis
5
2011
Typing streams in the \({\Lambda}{\mu}\)-calculus. Zbl 1351.68065
Saurin, Alexis
5
2010
Proof and refutation in MALL as a game. Zbl 1257.03090
Delande, Olivier; Miller, Dale; Saurin, Alexis
4
2010
A game semantics for proof search (preliminary results). Zbl 1273.03166
Miller, Dale; Saurin, Alexis
4
2006
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
4
2016
Standardization and Böhm trees for \(\Lambda \mu \)-calculus. Zbl 1284.68137
Saurin, Alexis
3
2010
On the relations between the syntactic theories of \(\lambda \mu \)-calculi. Zbl 1156.03317
Saurin, Alexis
3
2008
A hierarchy for delimited continuations in call-by-name. Zbl 1284.03139
Saurin, Alexis
2
2010
On the meaning of focalization. Zbl 1318.03058
Basaldella, Michele; Saurin, Alexis; Terui, Kazushige
2
2011
The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue
1
2019
Towards Ludics programming: Interactive proof search. Zbl 1185.68179
Saurin, Alexis
1
2008
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. Zbl 1244.68027
Saurin, Alexis
1
2012
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012
Classical by-need. Zbl 1335.68034
Pédrot, Pierre-Marie; Saurin, Alexis
1
2016
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
1
2016
The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue
1
2019
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
4
2016
Classical by-need. Zbl 1335.68034
Pédrot, Pierre-Marie; Saurin, Alexis
1
2016
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
1
2016
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. Zbl 1244.68027
Saurin, Alexis
1
2012
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012
Classical call-by-need and duality. Zbl 1331.68041
Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis
5
2011
On the meaning of focalization. Zbl 1318.03058
Basaldella, Michele; Saurin, Alexis; Terui, Kazushige
2
2011
Typing streams in the \({\Lambda}{\mu}\)-calculus. Zbl 1351.68065
Saurin, Alexis
5
2010
Proof and refutation in MALL as a game. Zbl 1257.03090
Delande, Olivier; Miller, Dale; Saurin, Alexis
4
2010
Standardization and Böhm trees for \(\Lambda \mu \)-calculus. Zbl 1284.68137
Saurin, Alexis
3
2010
A hierarchy for delimited continuations in call-by-name. Zbl 1284.03139
Saurin, Alexis
2
2010
On the relations between the syntactic theories of \(\lambda \mu \)-calculi. Zbl 1156.03317
Saurin, Alexis
3
2008
Towards Ludics programming: Interactive proof search. Zbl 1185.68179
Saurin, Alexis
1
2008
From proofs to focused proofs: A modular proof of focalization in linear logic. Zbl 1179.03064
Miller, Dale; Saurin, Alexis
16
2007
A game semantics for proof search (preliminary results). Zbl 1273.03166
Miller, Dale; Saurin, Alexis
4
2006

Citations by Year