Asynchronous games 2: The true concurrency of innocence
Get full text
Journal Article
Conference Proceeding
On bifibrations of model categories
Cagne, Pierre, Melliès, Paul-André
Published in Advances in mathematics (New York. 1965) (26.08.2020)
Published in Advances in mathematics (New York. 1965) (26.08.2020)
Get full text
Journal Article
An explicit formula for the free exponential modality of linear logic
MELLIÈS, PAUL-ANDRÉ, TABAREAU, NICOLAS, TASSON, CHRISTINE
Published in Mathematical structures in computer science (01.08.2018)
Published in Mathematical structures in computer science (01.08.2018)
Get full text
Journal Article
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Mellies, Paul-Andre
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Monads with arities and their associated theories
Berger, Clemens, Melliès, Paul-André, Weber, Mark
Published in Journal of pure and applied algebra (01.08.2012)
Published in Journal of pure and applied algebra (01.08.2012)
Get full text
Journal Article
Recursive polymorphic types and parametricity in an operational framework
Mellies, P.-A., Vouillon, J.
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Get full text
Conference Proceeding
An explicit formula for the free exponential modality of linear logic
Melliès, Paul-André, Tabareau, Nicolas, Tasson, Christine
Published in Mathematical Structures in Computer Science (01.01.2009)
Published in Mathematical Structures in Computer Science (01.01.2009)
Get full text
Conference Proceeding
Template games and differential linear logic
Mellies, Paul-Andre
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Layered and object-based game semantics
Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Published in Proceedings of ACM on programming languages (16.01.2022)
Published in Proceedings of ACM on programming languages (16.01.2022)
Get full text
Journal Article
An Isbell duality theorem for type refinement systems
MELLIÈS, PAUL-ANDRÉ, ZEILBERGER, NOAM
Published in Mathematical structures in computer science (01.06.2018)
Published in Mathematical structures in computer science (01.06.2018)
Get full text
Journal Article
Profinite lambda-terms and parametricity
van Gool, Sam, Melliès, Paul-André, Moreau, Vincent
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Published in Electronic Notes in Theoretical Informatics and Computer Science (23.11.2023)
Get full text
Journal Article