Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014 - Focusing - Document - PDFSEARCH.IO

First Page	Meta Content
	Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014 Add to Reading List Document Date: 2014-03-11 05:43:20 Open Document File Size: 172,05 KB Share Result on Facebook IndustryTerm equivalence algorithm / / Person Sam Lindley / Alexis Saurin / Neil Ghani / Dale Miller / / Technology rewriting-based algorithm / one slide The equivalence algorithm / /

Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014Add to Reading List