Charles Grellois

According to our database, Charles Grellois authored at least 12 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

Log. Methods Comput. Sci., 2020

Intuitionistic Non-normal Modal Logics: A General Framework.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

J. Philos. Log., 2020

2019

Probabilistic Termination by Monadic Affine Sized Typing.

Ugo Dal Lago, Charles Grellois

ACM Trans. Program. Lang. Syst., 2019

2018

Linearity in higher-order recursion schemes.

Pierre Clairambault, Charles Grellois, Andrzej S. Murawski

Proc. ACM Program. Lang., 2018

2017

Probabilistic Termination by Monadic Affine Sized Typing (Long Version).

Ugo Dal Lago, Charles Grellois

CoRR, 2017

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

PhD thesis, 2016

2015

Tensorial logic with colours and higher-order model checking.

Charles Grellois, Paul-André Melliès

CoRR, 2015

Finitary Semantics of Linear Logic and Higher-Order Model-Checking.

Charles Grellois, Paul-André Melliès

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

An Infinitary Model of Linear Logic.

Charles Grellois, Paul-André Melliès

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Relational Semantics of Linear Logic and Higher-order Model Checking.

Charles Grellois, Paul-André Melliès

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Indexed linear logic and higher-order model checking.

Charles Grellois, Paul-André Melliès

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2011

Algebraic theories, monads, and arities.

Charles Grellois

CoRR, 2011