Along the lines of the Abramsky "Proofs-as-Processes" program, we presen...
Refining and extending previous work by Retoré, we develop a systematic
...
We introduce λ_∥ - a simple yet powerful parallel extension
of simply ty...
We introduce a first proofs-as-parallel-programs correspondence for clas...
share