Concepedia

Patrick Baillot

PB

Statistics

Publications

11

Citations

278

H-Index

10

Active since

1997

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Informatique de Paris-Nord

Université Sorbonne Paris Nord

Université Paris Cité

University of Bologna

Patrick Baillot is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceComputational ComplexitySemanticsFormal VerificationArtsGamesBusiness

Publications per year

1997–2016

11

Publications

11

Light types for polynomial time computation in lambda calculus

Patrick Baillot, Kazushige Terui · Information and Computation · 2008 · 60 citations

Type Theory, Lambda Calculus, Light Types +1

Believe it or not, AJM's games model is a model of classical linear logic

Patrick Baillot, Vincent Danos, Thomas Ehrhard et al. · 2002 · 45 citations

Combinatorial Game, Game Theory, Classical Logic +17

Linear logic by levels and bounded time complexity

Patrick Baillot, Damiano Mazza · Theoretical Computer Science · 2009 · 35 citations · Full text

Computational Logic, Engineering, Automated Reasoning +5

Stratified coherence spaces: a denotational semantics for light linear logic

Patrick Baillot · Theoretical Computer Science · 2003 · 28 citations

Formal Semantics, Non-classical Logic, Engineering +7

Patrick Baillot, Vincent Danos, Thomas Ehrhard et al. · Computer Science Logic · 1997 · 23 citations

Rows per page

1–5 of 11