Strong normalization property for second order linear logic
scientific article; zbMATH DE number 5647933
scientific article