Alexis Saurin

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j5		Alexis Saurin: Böhm theorem and Böhm trees for the λμ-calculus. Theor. Comput. Sci. 435: 106-138 (2012)
c11		Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin: Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. FLOPS 2012: 32-46
	2011
c10		Zena M. Ariola, Hugo Herbelin, Alexis Saurin: Classical Call-by-Need and Duality. TLCA 2011: 27-44
p1		Michele Basaldella, Alexis Saurin, Kazushige Terui: On the Meaning of Focalization. PRELUDE Project 2011: 78-87
	2010
j4		Olivier Delande, Dale Miller, Alexis Saurin: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5): 654-672 (2010)
j3		Michele Basaldella, Alexis Saurin, Kazushige Terui: From Focalization of Logic to the Logic of Focalization. Electr. Notes Theor. Comput. Sci. 265: 161-176 (2010)
j2		Alexis Saurin: Typing streams in the Lambdaµ-calculus. ACM Trans. Comput. Log. 11(4) (2010)
c9		Alexis Saurin: Standardization and Böhm Trees for Lambdaµ-Calculus. FLOPS 2010: 134-149
c8		Alexis Saurin: A Hierarchy for Delimited Continuations in Call-by-Name. FOSSACS 2010: 374-388
c7		Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti: Intersection Logic in sequent calculus style. ITRS 2010: 16-30
	2008
c6		Alexis Saurin: On the Relations between the Syntactic Theories of lambda-mu-Calculi. CSL 2008: 154-168
c5		Alexis Saurin: Towards Ludics Programming: Interactive Proof Search. ICLP 2008: 253-268
c4		Kaustuv Chaudhuri, Dale Miller, Alexis Saurin: Canonical Sequent Proofs via Multi-Focusing. IFIP TCS 2008: 383-396
	2007
c3		Dale Miller, Alexis Saurin: From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. CSL 2007: 405-419
	2006
j1		Dale Miller, Alexis Saurin: A Game Semantics for Proof Search: Preliminary Results. Electr. Notes Theor. Comput. Sci. 155: 543-563 (2006)
	2005
c2		Dale Miller, Alexis Saurin: A game semantics for proof search: preliminary results. GALOP 2005: 92-106
c1		Alexis Saurin: Separation with Streams in the lambdaµ-calculus. LICS 2005: 356-365

Coauthor Index

1	Zena M. Ariola	[c11] [c10]
2	Michele Basaldella	[p1] [j3]
3	Kaustuv Chaudhuri	[c4]
4	Olivier Delande	[j4]
5	Paul Downen	[c11]
6	Hugo Herbelin	[c11] [c10]
7	Dale Miller	[j4] [c4] [c3] [j1] [c2]
8	Keiko Nakata	[c11]
9	Simona Ronchi Della Rocca	[c7]
10	Yiorgos Stavrinos	[c7]
11	Kazushige Terui	[p1] [j3]
12	Anastasia Veneti	[c7]

Colors in the list of coauthors

Last update Wed May 22 19:48:12 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page