PROOF NORMALIZATION MODULO GILLES DOWEK AND BENJAMIN WERNER Abstract. We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut eliminat - Cut-elimination theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	PROOF NORMALIZATION MODULO GILLES DOWEK AND BENJAMIN WERNER Abstract. We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut eliminat Add to Reading List Document Date: 2011-01-28 11:35:50 Open Document File Size: 275,51 KB Share Result on Facebook

PROOF NORMALIZATION MODULO GILLES DOWEK AND BENJAMIN WERNER Abstract. We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut eliminatAdd to Reading List