特别是指函数类型或箭头类型。类似地，类型的笛卡尔积是由 formula_92构造函数，而建构出的复合结构类型。型别理论方法可以用 ML编程语言表达，而受启发衍生出的语言有：CaML，Haskell和F＃。
逻辑.在Curry-Howard下，柯里化和对偶柯里化的存在相当于逻辑定理formula_93，因为多元组（型别积, product type）对应于逻辑中的且连接，而函数类型对应于蕴涵。
历史.「科里化」一词由克里斯托弗·斯特雷奇创造，以逻辑学家哈