Par means parallel: multiplicative linear logic proofs as concurrent functional programs.

Federico Aschieri Francesco A. Genco

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

linear logic
functional programs
cut elimination
sequent calculus
proof search
term rewriting systems
natural deduction
lazy evaluation
logic programming
fixed point
logic programs
machine learning
inference rules
artificial intelligence
knowledge base
logical framework
modal logic
general purpose