On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, Sweden

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, Sweden Add to Reading List Source URL: people.inf.ethz.ch Download Document from Source Website File Size: 93,48 KB Share Document on Facebook