Is there a difference between double layer and dual layer DVDs or are those just different terms for the same thing?

No, there is no real difference and yes, just different terms for the same thing. Quite simply, "Double layer" is used by +R(Alliance) media while -R(Forum) uses the term "dual-layer".