Showing cs.PLShow all
2 papers · 1 filter
cs.PL2012
A polynomial time λ-calculus with multithreading and side effects
Antoine Madet
The framework of Light Logics has been extensively studied to control the complexity of higher-order functional programs. We propose an extension of this framework to multithreaded…
cs.PL2011
Elementary affine -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…