Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI res - Miri - Document - PDFSEARCH.IO

First Page	Meta Content
	Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI res Add to Reading List Document Date: 2014-06-06 13:58:20 Open Document File Size: 130,40 KB Share Result on Facebook Person Gq / / ProvinceOrState Pennsylvania / /

Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI resAdd to Reading List