Charles Grellois

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 13

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. J. Log. Comput. 34 (4) (2024)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. WoLLIC (2022)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof Systems for the Logics of Bringing-It-About. DEON (2021)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX (2021)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16 (4) (2020)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-normal Modal Logics: A General Framework. J. Philos. Log. 49 (5) (2020)
Ugo Dal Lago, Charles Grellois
Probabilistic Termination by Monadic Affine Sized Typing. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-Normal Modal Logics: A general framework. CoRR (2019)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS (2019)
Pierre Clairambault, Charles Grellois, Andrzej S. Murawski
Linearity in higher-order recursion schemes. Proc. ACM Program. Lang. 2 (POPL) (2018)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. CoRR (2018)
Ugo Dal Lago, Charles Grellois
Probabilistic Termination by Monadic Affine Sized Typing. ESOP (2017)
Ugo Dal Lago, Charles Grellois
Probabilistic Termination by Monadic Affine Sized Typing (Long Version). CoRR (2017)
Charles Grellois, Paul-André Melliès
Finitary semantics of linear logic and higher-order model-checking. CoRR (2015)
Charles Grellois, Paul-André Melliès
An Infinitary Model of Linear Logic. FoSSaCS (2015)
Charles Grellois, Paul-André Melliès
Tensorial logic with colours and higher-order model checking. CoRR (2015)
Charles Grellois, Paul-André Melliès
Finitary Semantics of Linear Logic and Higher-Order Model-Checking. MFCS (1) (2015)
Charles Grellois, Paul-André Melliès
Relational Semantics of Linear Logic and Higher-order Model Checking. CSL (2015)
Charles Grellois, Paul-André Melliès
Indexed linear logic and higher-order model checking. ITRS (2014)
Charles Grellois, Paul-André Melliès
An infinitary model of linear logic. CoRR (2014)
Charles Grellois
Algebraic theories, monads, and arities. CoRR (2011)

Charles Grellois.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Charles Grellois