Interpreting a concurrent λ-calculus in differential proof nets (extended version).

Published in: CoRR (2021)

Keyphrases

automated theorem proving
natural deduction
real world
artificial intelligence
proof procedure
sequent calculus
multiscale
multi agent
theorem prover
proof search