Login / Signup

On the Complexity of Beta-Reduction.

Andrea Asperti
Published in: POPL (1996)
Keyphrases