⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs.

Federico Aschieri Francesco A. Genco

Published in: CoRR (2019)

Keyphrases

linear logic
functional programs
cut elimination
sequent calculus
proof search
proof planning
functional language
natural deduction
term rewriting systems
fixed point
logic programming
lazy evaluation
logic programs
logical framework
relational databases
inference rules