Paul-André Melliès

Available identifiers

zbMath Open mellies.paul-andreMaRDI QIDQ345706

List of research outcomes

Publication	Date of Publication	Type
On dialogue games and graph games	2022-04-25	Paper
A game semantics of concurrent separation logic	2022-04-25	Paper
Concurrent Separation Logic Meets Template Games	2021-01-21	Paper
Ribbon Tensorial Logic	2021-01-20	Paper
An Asynchronous Soundness Theorem for Concurrent Separation Logic	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5144623	2021-01-19	Paper
On bifibrations of model categories	2020-06-15	Paper
An explicit formula for the free exponential modality of linear logic	2018-08-07	Paper
Categorical combinatorics for non deterministic strategies on simple games	2018-07-17	Paper
An Isbell duality theorem for type refinement systems	2018-05-17	Paper
A Fibrational Account of Local States	2018-04-23	Paper
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine	2018-04-23	Paper
Relational semantics of linear logic and higher-order model-checking	2017-08-31	Paper
The parametric continuation monad	2017-06-14	Paper
Game Semantics in String Diagrams	2017-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q2958544	2017-02-02	Paper
Dialogue categories and chiralities	2016-12-30	Paper
A micrological study of negation	2016-12-02	Paper
Functors are Type Refinement Systems	2016-09-29	Paper
Towards a Formal Theory of Graded Monads	2016-06-10	Paper
An Algebraic Account of References in Game Semantics	2016-05-10	Paper
Semantic types	2015-11-11	Paper
An Infinitary Model of Linear Logic	2015-10-01	Paper
Finitary Semantics of Linear Logic and Higher-Order Model-Checking	2015-09-16	Paper
A very modal model of a modern, major, general type system	2014-09-12	Paper
Local States in String Diagrams	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2849884	2013-09-20	Paper
Dialogue Categories and Frobenius Monoids	2013-05-28	Paper
Monads with arities and their associated theories	2012-10-16	Paper
Resource modalities in tensor logic	2011-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3075441	2011-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q3564946	2010-05-27	Paper
An Explicit Formula for the Free Exponential Modality of Linear Logic	2009-07-14	Paper
Functorial Boxes in String Diagrams	2009-03-12	Paper
Asynchronous Games: Innocence Without Alternation	2008-09-18	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Asynchronous games. II: The true concurrency of innocence	2006-09-13	Paper
Sequential algorithms and strongly stable functions	2005-10-26	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3024846	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4650584	2005-02-18	Paper
Comparing hierarchies of types in models of linear logic	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808736	2004-08-12	Paper
Double categories: a modular model of multiplicative linear logic	2003-10-28	Paper
Axiomatic rewriting theory II: the   -calculus enjoys finite normalisation cones	2001-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4936122	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4246950	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4219044	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4362909	1997-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4362960	1997-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul-André Melliès