"Trace types and denotational semantics for sound programmable inference in ..."

Alexander K. Lew et al. (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics