Charles Grellois

Available identifiers

zbMath Open grellois.charlesMaRDI QIDQ829825

List of research outcomes

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	2024-11-12	Paper
Towards an intuitionistic deontic logic tolerating conflicting obligations	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	2021-05-06	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	2017-08-31	Paper
Probabilistic termination by monadic affine sized typing	2017-05-19	Paper
An Infinitary Model of Linear Logic	2015-10-01	Paper
Finitary semantics of linear logic and higher-order model-checking	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