TY  - RPRT
TI  - A polynomial time λ-calculus with multithreading and side effects
AU  - Antoine Madet
PY  - 2012
UR  - https://arxiv.org/abs/1209.5851
ID  - 1209.5851
ER  -