Pure type systems in rewriting logic (2003)

by M-O Stehr, J Meseguer
Venue:In Collection to the honor of O.J. Dahl, volume 2635 of LNCS