On generic context lemmas for lambda calculi with sharing (2007)

by SSS07b M Schmidt-Schauß, D Sabel
Venue:Frank 27, Inst. Informatik