The following pages link to Paul-André Melliès (Q345706):
Displayed 50 items.
- A micrological study of negation (Q345707) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- Dialogue categories and chiralities (Q502131) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Categorical combinatorics for non deterministic strategies on simple games (Q1652966) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- On dialogue games and graph games (Q2130592) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- On bifibrations of model categories (Q2189485) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- Functors are Type Refinement Systems (Q2819783) (← links)
- (Q2849884) (← links)
- Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- On dialogue games and coherent strategies (Q2958544) (← links)
- Game Semantics in String Diagrams (Q2986824) (← links)
- (Q3024846) (← links)
- (Q3075441) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- Semantic types (Q3452249) (← links)
- Asynchronous Games: Innocence Without Alternation (Q3525651) (← links)
- (Q3564946) (← links)
- Functorial Boxes in String Diagrams (Q3613326) (← links)
- An Explicit Formula for the Free Exponential Modality of Linear Logic (Q3638099) (← links)
- (Q4219044) (← links)
- (Q4246950) (← links)
- (Q4362909) (← links)
- (Q4362960) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
- A Fibrational Account of Local States (Q4635822) (← links)
- A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine (Q4635915) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- (Q4650584) (← links)
- Double categories: a modular model of multiplicative linear logic (Q4792944) (← links)
- (Q4808736) (← links)
- Dialogue Categories and Frobenius Monoids (Q4922083) (← links)
- (Q4936122) (← links)
- (Q5144623) (← links)
- Ribbon Tensorial Logic (Q5145345) (← links)
- An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- Local States in String Diagrams (Q5170826) (← links)
- The parametric continuation monad (Q5269001) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311491) (← links)
- Relational semantics of linear logic and higher-order model-checking (Q5351962) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)