On generic context lemmas for higher-order calculi with sharing
scientific article; zbMATH DE number 5687507
scientific article