3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…