Rewriting with polymorphic extensional - calculus (1995)

by R Di Cosmo, D Kesner
Venue:In CSL'95 (extended abstract