[PPT] - From semantics of computation to physics, and back Samson Abramsky PowerPoint Presentation