Book of Abstracts - IRIT
Book of Abstracts - IRIT
Book of Abstracts - IRIT
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Types for Pro<strong>of</strong>s and Programs<br />
19th TYPES Meeting<br />
Toulouse, France<br />
April 22–26, 2013<br />
TYPES 2013<br />
<strong>Book</strong> <strong>of</strong> <strong>Abstracts</strong><br />
Collected by Ralph Matthes (<strong>IRIT</strong>, CNRS)