Static typing for a substructural lambda calculus
scientific article; zbMATH DE number 6183891