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