Towards Races in Linear Logic.

Wen Kokke J. Garrett Morris Philip Wadler

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

linear logic
fixed point
proof theoretic
proof search
desirable properties
cut elimination
logic programming
intuitionistic logic
logical framework
sequent calculus
artificial intelligence
knowledge base
database systems
data model