Back to Results
First PageMeta 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
UPDATE