Towards Races in Linear Logic.

Wen Kokke J. Garrett Morris Philip Wadler

Published in: CoRR (2019)

Keyphrases

linear logic
sequent calculus
cut elimination
logic programming
fixed point
logical framework
desirable properties
proof theoretic
proof search
intuitionistic logic
inference rules
bayesian networks
logic programs