![](https://www.pdfsearch.io/img/098f217091e51fc3e208f7399774028b.jpg) 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, Sweden Add to Reading ListSource URL: people.inf.ethz.chDownload Document from Source Website File Size: 93,48 KBShare Document on Facebook
|