Curry-Howard isomorphism (English, name)
expansion: Curry-Howard isomorphism
Senses:
glosses: Synonym of Curry-Howard correspondence.
Forms: