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

by Manfred Schmidt-Schauß , David Sabel
Citations:5 - 3 self