Publications by Alexis Saurin

Doctoral Dissertation

• Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique), Alexis Saurin, Thèse de doctorat. Prix de thèse de l'École Polytechnique. Defended on 09/30/2008

Journal Articles

• Typing streams in the Λμ-calculus, Alexis Saurin, to appear in the ACM Transactions on Computational Logic, 2009. See on the website of the journal.
• Proof and Refutation in MALL as a Game, Olivier Delande, Dale Miller et Alexis Saurin, to appear in the Annals of Pure and APplied Logic, 2009. See on the website of the journal.

Conference Articles

• Standardization and Böhm Trees for Λμ-calculus, by Alexis Saurin, FLOPS 2010, april 2010
• A Hierarchy for Delimited Control in Call-by-name, by Alexis Saurin (long version), FOSSACS 2010, march 2010
• Towards Ludics Programming: Interactive proof search, by Alexis Saurin, ICLP 08, Udine, Italy, december 2008.
• On the Relations between the Syntactic Theories of λμ-calculi, by Alexis Saurin, CSL 2008, Bologna, Italy, september 2008 (pdf).
• Canonical Sequent Proofs via Multi-Focusing, by Kaustuv Chaudhuri, Dale Miller and Alexis Saurin, TCS 2008 Track B (International Conference on Theoretical Computer Science, Milano, Italy), september 2008 (pdf).
• From proofs to focused proofs: a modular proof of focalization in Linear Logic, by Dale Miller and Alexis Saurin, Computer Science Logic 2007, Lausanne, Switzerland, J. Duparc and T. A. Henzinger, editors, LNCS 4646, pages 405-419. Springer-Verlag. (pdf)
• Separation with Streams in the Lambda-mu-calculus, by Alexis Saurin, Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on 26-29 June 2005 Pages:356 - 365 (pdf)
• A game semantics for proof search: Preliminary results, by Dale Miller and Alexis Saurin. Presented at MFPS 2005: Mathematical Foundations of Programming Semantics, Birmingham, UK (18-21 May) (pdf published in 2006 in the Electronic Notes in Theoretical Computer Science (ENTCS) Volume 155: 543-563 (2006) [post-conference version of the MFPS 2005 paper])

Workshop Articles

• On the Meaning of Focalization, Michele Basaldella, Alexis Saurin and Kazushige Terui, Workshop PRELUDE, september 2009, Paris (pdf).
• An Interactive Approach to Control in Proof-Search: preliminary results, by Alexis Saurin, Workshop on Games for Logic and Programming Languages, GaLoP IV, York, april 2009.
• Interactive Proof Search with Ludics: Short Abstract, by Alexis Saurin, GaLoP III (Workshop on Games for Logic and Programming Languages III, ETAPS 2008 satellite event), april 2008, Budapest (pdf)
• Typing Streams in the Lambda-mu-calculus: extended abstract, by Alexis Saurin, Short Paper at LPAR 2007, Yerevan, Armenia (no formal publication, pdf)
• A game semantics for proof search: Preliminary results, by Dale Miller and Alexis Saurin. GaLoP I, 2005. superseded by our MFPS 2005 paper

Prepublications and Unpublished Notes

• Stream Associative Nets and Lambda-mu-calculus, by Michele Pagani and Alexis Saurin, Rapport de Recherche INRIA, N°6431, janvier 2008

Varia

I have also contributed several texts -- in french -- published or unpublished, on the question of prison, french justice system and rehabilitation of prisonners.
Some of them have been written by a group of people of which I was both contributor and the coordinator.
Here are listed some of these that I shall make available when I find some time to do so:

• 2007:
  • En lisant, en réécrivant l'appel des 115, manuscrit
  • Notes pour une conférence donnée à l'ENS Lyon en avril 2007
  • Dossier sur la dangerosité, Assises 2007 du GENEPI, texte de la prise de position, Assemblée générale de juin 2007 -- Textes collectifs, coordinateur
• 2006:
  • Interview sur e-pop, présentant le GENEPI;
  • Article sur les longues peines, Almanach du GENEPI, INJEP, 2006
  • Article sur l'abolition de la peine de mort, Almanach du GENEPI, INJEP, 2006
  • Article sur la surpopulation carcérale, Almanach du GENEPI, INJEP, 2006
  • Articles de la revue Passe-Murailles
  • Editoriaux du Passe-murailles
• 2005:
  • Forum en ligne sur le site du nouvel obs, 12/12/2005
  • Editoriaux du Passe-Murailles
  • Dossier sur la récidive dans le Passe-Murailles
  • Article sur les droits de l'Homme et les prisons pour le Factuel de novembre 2005: les droits de l'Homme à nos portes
  • Dossier Sur le sens de la peine et la place de la victime dans le procés pénal, Assises 2005 du GENEPI (Montpellier), ainsi que la prise de position votée à l'Assemblée Générale de juin 2005
• 2004:
  • Dossier chantiers politiques: 61000 détenus, et après? Coordinateur du numéro sur les prisons