Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. - Franz Baader; Clément Théron (Künstliche Intell., 2020)

A Domain-theoretic Approach to Statistical Programming Languages. - Jean Goubault-Larrecq; Xiaodong Jia 002; Clément Théron (J. ACM, 2023)