Algebraic theories, monads, and arities. - Charles Grellois (CoRR, 2011)

Indexed linear logic and higher-order model checking. - Charles Grellois; Paul-André Melliès (ITRS, 2014)

Relational Semantics of Linear Logic and Higher-order Model Checking. - Charles Grellois; Paul-André Melliès (CSL, 2015)

An Infinitary Model of Linear Logic. - Charles Grellois; Paul-André Melliès (FoSSaCS, 2015)

Finitary Semantics of Linear Logic and Higher-Order Model-Checking. - Charles Grellois; Paul-André Melliès (MFCS (1), 2015)

Tensorial logic with colours and higher-order model checking. - Charles Grellois; Paul-André Melliès (CoRR, 2015)

Semantics of linear logic and higher-order model-checking. (Sémantique de la logique linéaire et "model-checking" d'ordre supérieur). - Charles Grellois (2016)

Probabilistic Termination by Monadic Affine Sized Typing (Long Version). - Ugo Dal Lago; Charles Grellois (CoRR, 2017)

Linearity in higher-order recursion schemes. - Pierre Clairambault; Charles Grellois; Andrzej S. Murawski (Proc. ACM Program. Lang., 2018)

Probabilistic Termination by Monadic Affine Sized Typing. - Ugo Dal Lago; Charles Grellois (ACM Trans. Program. Lang. Syst., 2019)

Intuitionistic Non-normal Modal Logics: A General Framework. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Philos. Log., 2020)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs. - Naoki Kobayashi 001; Ugo Dal Lago; Charles Grellois (Log. Methods Comput. Sci., 2020)

Proof Systems for the Logics of Bringing-It-About. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (DEON, 2021)

Terminating Calculi and Countermodels for Constructive Modal Logics. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (TABLEAUX, 2021)

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (WoLLIC, 2022)

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Log. Comput., 2024)