Charles Grellois

Identifiers

• name variant Charles Grellois 0.60 · backfill

Papers (8)

1. Tree Automata Acceptance up to Measurable Defect cs.LO · 2026 · author #3
2. Quantitative Linear Logic cs.LO · 2026 · author #3
3. Intuitionistic Non-Normal Modal Logics: A general framework cs.LO · 2019 · author #2
4. Probabilistic Termination by Monadic Affine Sized Typing (Long Version) cs.PL · 2017 · author #2
5. Finitary semantics of linear logic and higher-order model-checking cs.LO · 2015 · author #1
6. Relational semantics of linear logic and higher-order model-checking cs.LO · 2015 · author #1
7. An infinitary model of linear logic cs.LO · 2014 · author #1
8. Algebraic theories, monads, and arities math.CT · 2011 · author #1

Mentions

• 1502.05147 #1 · backfill · confidence 0.70 Charles Grellois
• 1501.04789 #1 · backfill · confidence 0.70 Charles Grellois
• 1411.4380 #1 · backfill · confidence 0.70 Charles Grellois
• 2605.27192 #3 · arxiv_oai · confidence 0.70 Charles Grellois
• 1110.3294 #1 · backfill · confidence 0.70 Charles Grellois

Frequent Coauthors

• Paul-Andr\'e Melli\`es 3 shared papers
• Anita Moyasari 1 shared papers
• Clemens Kupke 1 shared papers
• Ekaterina Komendantskaya 1 shared papers
• Harsh Beohar 1 shared papers
• Matteo Capucci 1 shared papers
• Nicola Olivetti 1 shared papers
• Robert Atkey 1 shared papers
• Tiziano Dalmonte 1 shared papers
• Ugo Dal Lago 1 shared papers