Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 - Blain - Document - PDFSEARCH.IO

First Page	Meta Content
	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Document Date: 2010-09-16 16:40:23 Open Document File Size: 67,44 KB Share Result on Facebook Person Masahito Hasegawa / Soren Lassen / Rasmus Møgelberg / / SocialTag Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus

Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1Add to Reading List