Cartesian closed categories of domains by Jung