Explicit substitutions for pi-congruences

Paola Quaglia. Explicit substitutions for pi-congruences. Theoretical Computer Science, 269(1-2):83-134, 2001. [doi]

Abstract

Abstract is missing.