$\unicode{8523}$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs

Genco Francesco A.
Genco Francesco A.
Cited by: 0|Bibtex|Views0|Links

Abstract:

Along the lines of the Abramsky ``Proofs-as-Processes'' program, we present an interpretation of multiplicative linear logic as typing system for concurrent functional programming. In particular, we study a linear multiple-conclusion natural deduction system and show it is isomorphic to a simple and natural extension of $\lambda$-calcul...More

Code:

Data:

Your rating :
0

 

Tags
Comments