Probabilistic termination by monadic affine sized typing UD Lago, C Grellois ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-65, 2019 | 32 | 2019 |
Intuitionistic non-normal modal logics: A general framework T Dalmonte, C Grellois, N Olivetti Journal of Philosophical Logic 49 (5), 833-882, 2020 | 31 | 2020 |
On the termination problem for probabilistic higher-order recursive programs N Kobayashi, U Dal Lago, C Grellois Logical Methods in Computer Science 16, 2020 | 30 | 2020 |
An infinitary model of linear logic C Grellois, PA Melliès Foundations of Software Science and Computation Structures: 18th …, 2015 | 30 | 2015 |
Finitary semantics of linear logic and higher-order model-checking C Grellois, PA Melliès International Symposium on Mathematical Foundations of Computer Science, 256-268, 2015 | 29 | 2015 |
Relational semantics of linear logic and higher-order model-checking C Grellois, PA Melliès arXiv preprint arXiv:1501.04789, 2015 | 29 | 2015 |
Probabilistic termination by monadic affine sized typing U Dal Lago, C Grellois Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 28 | 2017 |
Semantics of linear logic and higher-order model-checking C Grellois Univeristé Denis Diderot Paris 7, 2016 | 24 | 2016 |
Indexed linear logic and higher-order model checking C Grellois, PA Melliès arXiv preprint arXiv:1503.04909, 2015 | 11 | 2015 |
Terminating calculi and countermodels for constructive modal logics T Dalmonte, C Grellois, N Olivetti International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 8 | 2021 |
Linearity in higher-order recursion schemes P Clairambault, C Grellois, AS Murawski Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 8 | 2017 |
Tensorial logic with colours and higher-order model checking C Grellois, PA Mellies CoRR, abs/1501.04789, 2015 | 6 | 2015 |
Towards intuitionistic non-normal modal logic and its calculi T Dalmonte, C Grellois, N Olivetti | 4 | |
24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 3 | 2015 |
Probabilistic termination by monadic affine sized typing (long version) U Dal Lago, C Grellois | 2 | 2016 |
On the coinductive nature of centralizers C Grellois Seminar at the University of Turku http://research. grellois. fr/doc …, 2015 | 1 | 2015 |
Algebraic theories, monads, and arities C Grellois arXiv preprint arXiv:1110.3294, 2011 | 1 | 2011 |
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship T Dalmonte, C Grellois, N Olivetti Journal of Logic and Computation 34 (4), 764-794, 2024 | | 2024 |
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations T Dalmonte, C Grellois, N Olivetti International Workshop on Logic, Language, Information, and Computation, 280-294, 2022 | | 2022 |
Proof systems for the logics of bringing-it-about T Dalmonte, C Grellois, N Olivetti 15th International Conference on Deontic Logic and Normative Systems DEON …, 2021 | | 2021 |