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

First Page	Meta Content
	On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, Sweden Add to Reading List Document Date: 2014-04-16 16:29:41 Open Document File Size: 93,48 KB Share Result on Facebook

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