Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Laurent, Olivier - Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon
Semantique des jeux (notes de cours du DEA de Programmation)
The anatomy of innocence revisited Russ Harmer & Olivier Laurent
Polarized games Olivier LAURENT
Krivine's abstract machine and the -calculus (an overview)
A Token Machine for Full Geometry of Interaction
Polarized games Olivier LAURENT
Polarized games Olivier LAURENT
Polarized ProofNets: ProofNets for LC (Extended Abstract)
Intersection types with subtyping by means of cutelimination Olivier LAURENT
Theorie de la demonstration Master de Logique Mathematique et Fondements de l'Informatique
Cut Elimination for Monomial MALL Proof Nets Olivier Laurent
Polarities in Linear Logic Olivier LAURENT
Interpreting a Finitary Pi-Calculus in Di erential Interaction Nets
About Translations of Classical Logic into Polarized Linear Logic Olivier Laurent
An exact correspondence between a typed pi-calculus and polarised proof-nets
Quantitative Game Semantics for Linear Logic Ugo Dal Lago1,
Polarized Proof-Nets: Proof-Nets for LC (Extended Abstract)
Intersection types with subtyping by means of cut-elimination Olivier LAURENT
Is A equal to A? J.-Y. Girard's 60th birthday Paris
Semantique des jeux : de la programmation `a la logique
Obsessional cliques: a semantic characterization of bounded time complexity Olivier Laurent
On the categorical semantics of Elementary Linear Logic Olivier Laurent
Polarized and Focalized Linear and Classical Proofs
Acyclic Solos and Differential Interaction Nets Thomas Ehrhard
Game semantics for first-order logic Olivier LAURENT
Quantitative Game Semantics for Linear Logic Ugo Dal Lago 1,# and Olivier Laurent 2,##
A proof of the focalization property of Linear Logic Olivier LAURENT
Intuitionistic Dual-intuitionistic Nets Olivier LAURENT
c ~Q
habilitation `a diriger des recherches Universite Paris Diderot Paris 7
Rseaux d'interaction Olivier Laurent
Syntax vs. semantics: a polarized approach Olivier LAURENT
Polarized games Olivier LAURENT
Obsessional cliques: a semantic characterization of bounded time complexity Olivier Laurent #+
On the denotational semantics of the untyped lambda-mu calculus Olivier LAURENT
