Cartesian closed Dialectica categories
scientific article; zbMATH DE number 5499729