Login / Signup

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.

Susumu Nishimura
Published in: APLAS (2003)
Keyphrases