Charles Grellois

1. Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
   2017/01/15 by Ugo Dal Lago, Charles Grellois, Lago, Ugo Dal +1 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Programming Languages (cs.PL)
2. A coalgebraic higher-order modal fixed-point logic
   2026/07/21 by Ryan Tay, Harsh Beohar, Charles Grellois
   #cs.LO
3. Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points
   2026/07/18 by Jun Suzuki, Charles Grellois, Katsuhiko Sano
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
4. Enhancing Automated Machine Learning via Homogeneous Train-Test Splitting Methods
   2026/07/29 by Yearn Tan Yin Tze, Charles Grellois
   Computer Science · #cs.LG