Pak choi and bok choy are essentially the same thing. They're both names for a a type of leafy green Chinese cabbage. You'll likely see the terms being used interchangeably in recipes and in shops ...