For most people shooting Canon gear the 24-105L is the much more common go-to lens for street shots like this.
For true pros, the 16-35L would be more common than the 17-40L, since it is an f/2.8 instead of f/4.0 lens. It's almost a given that anyone shooting Canon owns the 24-105L, so when opting for a wider angle lens the 17-40 and 16-35 are your two most common choices. The 16-35 gives you the wide-angle, PLUS lower f/stop (The 24-105L is f/4.0 also)
I don't think you can tell with any degree of certainly which specific lens was used for these shots.