Charles Grellois

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the termination problem for probabilistic higher-order recursive programs	2024-12-19	Paper
Proof theory for the logics of bringing-it-about: ability, coalitions and means-end relationship Journal Of Logic And Computation	2024-11-12	Paper
Towards an intuitionistic deontic logic tolerating conflicting obligations Logic, Language, Information, and Computation	2023-06-02	Paper
Proof systems for the logics of bringing-it-about	2023-02-21	Paper
Terminating calculi and countermodels for constructive modal logics	2022-05-25	Paper
Intuitionistic non-normal modal logics: a general framework Journal of Philosophical Logic	2021-05-06	Paper
On the termination problem for probabilistic higher-order recursive programs (available as arXiv preprint)	2020-11-03	Paper
On the termination problem for probabilistic higher-order recursive programs	2020-11-03	Paper
Relational semantics of linear logic and higher-order model checking (available as arXiv preprint)	2017-08-31	Paper
Probabilistic termination by monadic affine sized typing Programming Languages and Systems	2017-05-19	Paper
An Infinitary Model of Linear Logic Lecture Notes in Computer Science	2015-10-01	Paper
Finitary semantics of linear logic and higher-order model-checking Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Algebraic theories, monads, and arities	2011-10-14	Paper

Research outcomes over time

This page was built for person: Charles Grellois