Curry-Howard isomorphism

短语

释义与例句

name
  1. 1.

    Synonym of Curry-Howard correspondence.