柯里-霍华德同构-一流百科

柯里-霍华德同构

简介在编程语言理论和证明理论中，柯里-霍华德同构（也称为 Curry-Howard 同构或等价）是两者之间的直接关系计算机程序和数学证明。它是美国数学家 Haskell C...

词条百科