Coherence Generalises Duality: a logical explanation of multiparty session types Marco Carbone1 , Sam Lindley2 , Fabrizio Montesi3 , Carsten Schürmann1 , and Philip Wadler2 1 2 - Duality - Document - PDFSEARCH.IO

First Page	Meta Content
	Coherence Generalises Duality: a logical explanation of multiparty session types Marco Carbone1 , Sam Lindley2 , Fabrizio Montesi3 , Carsten Schürmann1 , and Philip Wadler2 1 2 Add to Reading List Document Date: 2016-05-01 14:14:49 Open Document File Size: 424,65 KB Share Result on Facebook

Coherence Generalises Duality: a logical explanation of multiparty session types Marco Carbone1 , Sam Lindley2 , Fabrizio Montesi3 , Carsten Schürmann1 , and Philip Wadler2 1 2Add to Reading List