A polynomial time λ-calculus with multithreading and side effects

Published in: CoRR (2012)

Keyphrases

multithreading
special case
parallel computing
computational power
highly efficient
computational complexity
real time
distributed memory
data partitioning
shared memory