Paul-Andr\'e Melli\`es

Identifiers

• name variant Paul-Andr\'e Melli\`es 0.60 · backfill

Papers (11)

1. An Asynchronous soundness theorem for concurrent separation logic cs.PL · 2018 · author #1
2. A Game Semantics of Concurrent Separation Logic cs.LO · 2017 · author #1
3. On bifibrations of model categories math.CT · 2017 · author #2
4. Five Basic Concepts of Axiomatic Rewriting Theory cs.LO · 2016 · author #1
5. A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine cs.LO · 2016 · author #1
6. Finitary semantics of linear logic and higher-order model-checking cs.LO · 2015 · author #2
7. An Isbell Duality Theorem for Type Refinement Systems cs.LO · 2015 · author #1
8. Relational semantics of linear logic and higher-order model-checking cs.LO · 2015 · author #2
9. An infinitary model of linear logic cs.LO · 2014 · author #2
10. Type refinement and monoidal closed bifibrations cs.LO · 2013 · author #1
11. Monads with arities and their associated theories math.CT · 2011 · author #2

Mentions

• 1502.05147 #2 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es
• 1501.05115 #1 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es
• 1501.04789 #2 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es
• 1411.4380 #2 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es
• 1310.0263 #1 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es
• 1101.3064 #2 · backfill · confidence 0.70 Paul-Andr\'e Melli\`es

Frequent Coauthors

• Charles Grellois 3 shared papers
• Noam Zeilberger 3 shared papers
• L\'eo Stefanesco 2 shared papers
• Clemens Berger 1 shared papers
• Mark Weber 1 shared papers
• Pierre Cagne 1 shared papers