research
∙
07/08/2019
8523 means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs
Along the lines of the Abramsky "Proofs-as-Processes" program, we presen...
share
research
∙
04/23/2019
Natural Deduction and Normalization Proofs for the Intersection Type Discipline
Refining and extending previous work by Retoré, we develop a systematic ...
research
∙
02/11/2019
A typed parallel λ-calculus for graph-based communication
We introduce λ_∥ - a simple yet powerful parallel extension of simply ty...
research
∙
09/10/2018