A polynomial time λ-calculus with multithreading and side effects.

Antoine Madet

Browse the full PPDP paper archive.