Patrick Baillot

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Patrick Baillot

Publications

2015
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Baillot15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Baillot15
Patrick Baillot:
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy. Inf. Comput. 241: 3-31 (2015)
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Baillot11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Baillot11
Patrick Baillot:
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. APLAS 2011: 337-352
2010
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1005-0653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-0653
Patrick Baillot:
Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 23, 2010 [contents]
2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/Baillot07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/Baillot07
Patrick Baillot:
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing. TLCA 2007: 2-7
2004
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Baillot04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Baillot04
Patrick Baillot:
Stratified coherence spaces: a denotational semantics for light linear logic. Theor. Comput. Sci. 318(1-2): 29-55 (2004)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Baillot04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Baillot04a
Patrick Baillot:
Type inference for light affine logic via constraints on words. Theor. Comput. Sci. 328(3): 289-323 (2004)
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/Baillot02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/Baillot02
Patrick Baillot:
Checking Polynomial Time Complexity with Types. IFIP TCS 2002: 370-382

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.