Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework (2004)

by M O Stehr, J Meseguer
Venue:In: Essays in Memory of Ole-Johan Dahl. Volume 2635 of LNCS