From semantics to types: the case of the imperative \(\lambda\)-calculus
scientific article; zbMATH DE number 7959051
scientific article