Charles Grellois
Title
Cited by
Cited by
Year
An infinitary model of linear logic
C Grellois, PA Melliès
International Conference on Foundations of Software Science and Computation …, 2015
262015
Relational semantics of linear logic and higher-order model-checking
C Grellois, PA Melliès
arXiv preprint arXiv:1501.04789, 2015
262015
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
232015
Probabilistic termination by monadic affine sized typing
U Dal Lago, C Grellois
European Symposium on Programming, 393-419, 2017
212017
Semantics of linear logic and higher-order model-checking
C Grellois
Univeristé Denis Diderot Paris 7, 2016
152016
Probabilistic termination by monadic affine sized typing
UD Lago, C Grellois
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-65, 2019
132019
Indexed linear logic and higher-order model checking
C Grellois, PA Melliès
arXiv preprint arXiv:1503.04909, 2015
102015
On the termination problem for probabilistic higher-order recursive programs
N Kobayashi, U Dal Lago, C Grellois
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
92019
Intuitionistic non-normal modal logics: A general framework
T Dalmonte, C Grellois, N Olivetti
Journal of Philosophical Logic 49 (5), 833-882, 2020
72020
Tensorial logic with colours and higher-order model checking
C Grellois, PA Mellies
CoRR, abs/1501.04789, 2015
42015
Linearity in higher-order recursion schemes
P Clairambault, C Grellois, AS Murawski
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
32017
Probabilistic termination by monadic affine sized typing (long version)
U Dal Lago, C Grellois
arXiv e-prints, arXiv: 1701.04089, 2017
22017
Algebraic theories, monads, and arities
C Grellois
arXiv preprint arXiv:1110.3294, 2011
22011
Toward intuitionistic non-normal modal logic and its calculi
T Dalmonte, C Grellois, N Olivetti
2
On the coinductive nature of centralizers
C Grellois
12014
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
C Grellois, UD Lago, N Kobayashi
Logical Methods in Computer Science 16, 2020
2020
Intuitionistic and classical non-normal modal logics: An embedding
T Dalmonte, C Grellois, N Olivetti
TACL 2019, 67, 2019
2019
Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
UD Lago, C Grellois
arXiv preprint arXiv:1701.04089, 2017
2017
Travaux accomplis
C Grellois
2017
Probabilistic Termination by Monadic Affine Sized Typing
ULC Grellois
2016
The system can't perform the operation now. Try again later.
Articles 1–20