# Charles Grellois

According to our database

Collaborative distances:

^{1}, Charles Grellois authored at least 12 papers between 2011 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Log. Methods Comput. Sci., 2020

J. Philos. Log., 2020

2019

ACM Trans. Program. Lang. Syst., 2019

2018

Proc. ACM Program. Lang., 2018

2017

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

CoRR, 2015

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

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

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

2014

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

2011

CoRR, 2011