From types to sets by local type definition in higher-order logic
scientific article; zbMATH DE number 7024458
scientific article