Charles Grellois

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