Grellois, Charles
- Intuitionistic Non-Normal Modal Logics: A general framework
2019/01/28 by Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola · 3 citations
#03B45 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
2017/01/15 by Ugo Dal Lago, Lago, Ugo Dal, Charles Grellois +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)