
8523 means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
Along the lines of the Abramsky "ProofsasProcesses" program, we presen...
read it

Natural Deduction and Normalization Proofs for the Intersection Type Discipline
Refining and extending previous work by Retoré, we develop a systematic ...
read it

A typed parallel λcalculus for graphbased communication
We introduce λ_∥  a simple yet powerful parallel extension of simply ty...
read it

Classical Proofs as Parallel Programs
We introduce a first proofsasparallelprograms correspondence for clas...
read it
Federico Aschieri
is this you? claim profile