PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR - Cut-elimination theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Document Date: 2003-08-12 05:11:28 Open Document File Size: 924,95 KB Share Result on Facebook

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLORAdd to Reading List