First Page | Document Content | |
---|---|---|
Date: 2014-04-16 16:29:41 | On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, SwedenAdd to Reading ListSource URL: people.inf.ethz.chDownload Document from Source WebsiteFile Size: 93,48 KBShare Document on Facebook |