Charles Grellois

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
Log. Methods Comput. Sci., 2020

Intuitionistic Non-normal Modal Logics: A General Framework.
J. Philos. Log., 2020

2019
Probabilistic Termination by Monadic Affine Sized Typing.
ACM Trans. Program. Lang. Syst., 2019

2018
Linearity in higher-order recursion schemes.
Proc. ACM Program. Lang., 2018

2017
Probabilistic Termination by Monadic Affine Sized Typing (Long Version).
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).
PhD thesis, 2016

2015
Tensorial logic with colours and higher-order model checking.
CoRR, 2015

Finitary Semantics of Linear Logic and Higher-Order Model-Checking.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

An Infinitary Model of Linear Logic.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

Relational Semantics of Linear Logic and Higher-order Model Checking.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Indexed linear logic and higher-order model checking.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2011
Algebraic theories, monads, and arities.
CoRR, 2011


  Loading...