中国科学院数学与系统科学研究院期刊网

Cartesian Closedness of Cat

YiXiang Chen
Acta Mathematica Sinica, Chinese Series . 1997, (4): 597 -602 .  DOI: 10.12386/A1997sxxb0082