Towards Races in Linear Logic.

Wen Kokke J. Garrett Morris Philip Wadler

Published in: COORDINATION (2019)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
sequent calculus
proof search
desirable properties
cut elimination
intuitionistic logic
logical framework
higher order
high level