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

Preprint English OPEN
Madet, Antoine; Amadio, Roberto M.;
(2011)
  • Subject: Computer Science - Programming Languages

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 effects focusing on the case of elementary time. Our main contributions are as follows. Fi... View more
Share - Bookmark