A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.

Eduardo Bonelli

Browse the full FOSSACS paper archive.