Combining algebraic rewriting, extensional -calculi and fixpoints (1995)

by R Di Cosmo, D Kesner
Venue:In TCS