"existential type" - related articles and key terms