Higher-Order Distributions for Differential Linear Logic.

Marie Kerjean Jean-Simon Pacaud Lemay

Published in: FoSSaCS (2019)

Keyphrases

linear logic
higher order
fixed point
high order
proof theoretic
pairwise
logic programming
desirable properties
sequent calculus
lower order
probability distribution
cut elimination
proof search
logical framework
random variables
inference rules
intuitionistic logic
markov random field
state space