Suivre
Charles Grellois
Titre
Citée par
Citée par
Année
Probabilistic termination by monadic affine sized typing
UD Lago, C Grellois
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-65, 2019
332019
On the termination problem for probabilistic higher-order recursive programs
N Kobayashi, U Dal Lago, C Grellois
Logical Methods in Computer Science 16, 2020
312020
An infinitary model of linear logic
C Grellois, PA Melliès
Foundations of Software Science and Computation Structures: 18th …, 2015
312015
Intuitionistic non-normal modal logics: A general framework
T Dalmonte, C Grellois, N Olivetti
Journal of Philosophical Logic 49 (5), 833-882, 2020
302020
Probabilistic termination by monadic affine sized typing
U Dal Lago, C Grellois
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
292017
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
292015
Relational semantics of linear logic and higher-order model-checking
C Grellois, PA Melliès
arXiv preprint arXiv:1501.04789, 2015
292015
Semantics of linear logic and higher-order model-checking
C Grellois
Univeristé Denis Diderot Paris 7, 2016
242016
Indexed linear logic and higher-order model checking
C Grellois, PA Melliès
arXiv preprint arXiv:1503.04909, 2015
112015
Terminating calculi and countermodels for constructive modal logics
T Dalmonte, C Grellois, N Olivetti
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
82021
Linearity in higher-order recursion schemes
P Clairambault, C Grellois, AS Murawski
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
82017
Tensorial logic with colours and higher-order model checking
C Grellois, PA Mellies
CoRR, abs/1501.04789, 2015
62015
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
32015
Probabilistic termination by monadic affine sized typing (long version)
U Dal Lago, C Grellois
22016
On the coinductive nature of centralizers
C Grellois
Seminar at the University of Turku http://research. grellois. fr/doc …, 2015
12015
Algebraic theories, monads, and arities
C Grellois
arXiv preprint arXiv:1110.3294, 2011
12011
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20