Scientific Annals of Computer Science vol), 2012, pp. 147–199 DOI: SACSInnocent Strategies as Presheaves and Interactive Equivalences for CCS1 Tom HIRSCHOWITZ2 , Damien POUS3 - Annals of Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Scientific Annals of Computer Science vol), 2012, pp. 147–199 DOI: SACSInnocent Strategies as Presheaves and Interactive Equivalences for CCS1 Tom HIRSCHOWITZ2 , Damien POUS3 Add to Reading List Document Date: 2012-05-24 10:56:52 Open Document File Size: 648,80 KB Share Result on Facebook

Scientific Annals of Computer Science vol), 2012, pp. 147–199 DOI: SACSInnocent Strategies as Presheaves and Interactive Equivalences for CCS1 Tom HIRSCHOWITZ2 , Damien POUS3Add to Reading List