Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe: - Coinduction - Document - PDFSEARCH.IO

First Page	Meta Content
	Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe: Add to Reading List Document Date: 2007-10-05 08:06:40 Open Document File Size: 64,86 KB Share Result on Facebook

Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe:Add to Reading List