I will discus cost-models for the lambda-calculus that model parallel
time and space. I will then discuss how with such models we can prove
relationships to time and space on more concrete machine models, such
a network of processors, or a Parallel Random Access Machine (PRAM).
This allows the programmer to thing about costs at a high-level but
still have guarantees about performance.