Matteo Acclavio

A look into OPDL's role in reasoning about concurrent programs.

This article examines non-wellfounded proofs and their role in computational logic.

Proof nets provide a structured view of logical arguments for clearer understanding.