Clément Théron

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Transitive Roles

Lambda Calculus

Object Oriented Programming

Denotational Semantics

Top Venues

Künstliche Intell.

Publications

Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
A Domain-theoretic Approach to Statistical Programming Languages. J. ACM 70 (5) (2023)
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
A Domain-Theoretic Approach to Statistical Programming Languages. CoRR (2021)
Franz Baader, Clément Théron
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. Künstliche Intell. 34 (3) (2020)