1. Recherche
28 résultats  enregistrer la recherche
...
tel-00007884v1  Thèse
Olivier Laurent. Étude de la polarisation en logique
Mathématiques [math]. Université de la Méditerranée - Aix-Marseille II, 2002. Français
hal-00009116v1  Article dans une revue
Olivier Laurent. Polarized games
Annals of Pure and Applied Logic, Elsevier Masson, 2004, 130, pp.79-123. <10.1016/j.apal.2004.04.006>
hal-00009133v1  Article dans une revue
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco. Polarized and focalized linear and classical proofs
Annals of Pure and Applied Logic, Elsevier Masson, 2005, 134, pp.217-264. <10.1016/j.apal.2004.11.002>
hal-00009134v1  Chapitre d'ouvrage
Olivier Laurent, Lorenzo Tortora de Falco. Slicing polarized additive normalization
Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and Philip Scott. Linear Logic in Computer Science, Cambridge University Press, pp.247-282, 2004, London Mathematical Society Lecture Note Series
hal-00009136v1  Communication dans un congrès
Olivier Laurent. Polarized Proof-Nets: Proof-Nets for LC
Jean-Yves Girard. 1999, Springer, pp.213-227, 1999, Lecture Notes in Computer Science, volume 1581
hal-00009137v1  Communication dans un congrès
Olivier Laurent. A Token Machine for Full Geometry of Interaction
Samson Abramsky. 2001, Springer, pp.283-297, 2001, Lecture Notes in Computer Science, volume 2044
hal-00009138v1  Communication dans un congrès
Olivier Laurent. Polarized games
Gordon Plotkin. 2002, IEEE, pp.265-274, 2002, <10.1109/LICS.2002.1029835>
hal-00009139v1  Communication dans un congrès
Olivier Laurent, Laurent Regnier. About Translations of Classical Logic into Polarized Linear Logic
Phokion G. Kolaitis. 2003, IEEE, pp.11-20, 2003, <10.1109/LICS.2003.1210040>
...
hal-00270933v1  Communication dans un congrès
Ugo Dal Lago, Olivier Laurent. Quantitative Game Semantics for Linear Logic
Michael Kaminski and Simone Martini. Computer Science Logic, Sep 2008, Bertinoro, Italy. Springer, 5213, pp.230--245, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-87531-4_18>
...
hal-00096280v1  Pré-publication, Document de travail
Thomas Ehrhard, Olivier Laurent. On differential interaction nets and the pi-calculus
2006
...
hal-00003761v1  Article dans une revue
Olivier Laurent. Classical isomorphisms of types
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15, pp.969-1004. <10.1017/S0960129505004895>
hal-00009114v1  Article dans une revue
Olivier Laurent. Polarized proof-nets and lambda-mu calculus
Theoretical Computer Science, Elsevier, 2003, 290, pp.161-188. <10.1016/S0304-3975(01)00297-3>
...
hal-00003753v1  Pré-publication, Document de travail
Olivier Laurent. Interprétation calculatoire de la logique classique via le lambda-mu calcul et la machine de Krivine
PPS//02/09//n°6 (ln). 2002
hal-00768868v1  Article dans une revue
Olivier Laurent. Intersection Types with Subtyping by Means of Cut Elimination
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 121 (1-4), pp.203-226. <10.3233/FI-2012-776>
hal-01306132v1  Communication dans un congrès
Olivier Laurent. Focusing in Orthologic
Delia Kesner; Brigitte Pientka. Formal Structures for Computation and Deduction, Jun 2016, Porto, Portugal. Schloss Dagstuhl - Leibniz Center for Informatics, LIPIcs: Leibniz International Proceedings in Informatics, 52, pp.25, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). <http://fscd2016.dcc.fc.up.pt/>. <10.4230/LIPIcs.FSCD.2016.25>
hal-01566869v1  Article dans une revue
Olivier Laurent. Focusing in Orthologic
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.6. <https://lmcs.episciences.org/>. <10.23638/LMCS-13(3:6)2017>
hal-00617254v1  Article dans une revue
Olivier Laurent. Intuitionistic Dual-intuitionistic Nets
Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.561-587. <10.1093/logcom/exp044>
hal-00516609v1  Article dans une revue
Thomas Ehrhard, Olivier Laurent. Acyclic Solos and Differential Interaction Nets
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 6 (3), pp.11. <10.2168/LMCS-6(3:11)2010>
hal-00528528v1  Article dans une revue
Olivier Laurent. Game semantics for first-order logic
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 6 (4), pp.3. <10.2168/LMCS-6(4:3)2010>
hal-00349555v1  Communication dans un congrès
Olivier Laurent, Roberto Maieli. Cut Elimination for Monomial MALL Proof Nets
Frank Pfenning. Logic in Computer Science, Jun 2008, Pittsburgh, France. IEEE, pp.486--497, 2008, <10.1109/LICS.2008.31>
...
tel-00460805v1  HDR
Olivier Laurent. Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
...
hal-00382689v1  Autre publication
Karim Nour, Olivier Laurent. Parametric mixed sequent calculus
Preprint. 2005
hal-00483227v1  Article dans une revue
Kohei Honda, Olivier Laurent. An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science, Elsevier, 2010, 411 (22--24), pp.2223--2238. <10.1016/j.tcs.2010.01.028>
hal-00483780v1  Article dans une revue
Thomas Ehrhard, Olivier Laurent. Interpreting a finitary pi-calculus in differential interaction nets
Information and Computation, Elsevier, 2010, 208 (6), pp.606--633. <10.1016/j.ic.2009.06.005>
hal-00398598v1  Article dans une revue
Olivier Laurent. On the categorical semantics of Elementary Linear Logic
Theory and Applications of Categories, Mount Allison University, 2009, 22 (10), pp.269-301
...
hal-00003759v1  Article dans une revue
Olivier Laurent. Syntax vs. Semantics: a polarized approach
Theoretical Computer Science, Elsevier, 2005, 343, pp.177-206. <10.1016/j.tcs.2005.05.012>

Contact


archive-ouverte@inria.fr