Elementary affine $lambda$-calculus with multithreading and side effects

Antoine Madet, Roberto M. Amadio

Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side…