Words near curry-howard-correspondence in the dictionary