Parallel Reduction in Resource Lambda-Calculus.

Michele Pagani, Paolo Tranquilli

Browse the full APLAS paper archive.