First Page | Document Content | |
---|---|---|
Date: 2010-09-16 16:40:23Theoretical 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 ListSource URL: www.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 67,44 KBShare Document on Facebook |