Login / Signup

On the Invariance of the Unitary Cost Model for Head Reduction.

Beniamino AccattoliUgo Dal Lago
Published in: RTA (2012)
Keyphrases