:::逻辑.在Curry-Howard下，柯里化和对偶柯里化的存在相当于逻辑定理formula_93，因为多元组（型别积, product type）对应于逻辑中的且连接，而函数类型对应于蕴涵。
历史.「科里化」一词由克里斯托弗·斯特雷奇创造，以逻辑学家哈斯凯尔·加里命名。另外一个名词 "Schönfinkelisation" 则以Moses Schönfinkel命名。在数学历史中，这个原理可以追溯到1893年戈特洛布·弗雷格的工作。