Disambiguation evidence for Curry–Howard correspondence via surface form
"Howard 1969 paper "The formulae-as-types notion of construction""
Triples (1)
Triples where some other subject referred to this entity
as "Howard 1969 paper "The formulae-as-types notion of construction"".
Curry–Howard correspondence
→
formalizedIn
→
"Howard 1969 paper "The formulae-as-types notion of construction""
ⓘ
↳ resolves to Curry–Howard correspondence