Venue. IFIP TCS IFIP International Conference on Theoretical Computer Science · Conference · Springer 2010 The Duality of Computation under Focus curien-2010-theIFIP TCS · 2010 DOI · arXiv