Disambiguation evidence for Curry–Howard correspondence via surface form

"Curry–Howard correspondence"

Triples (10)

Triples where some other subject referred to this entity as "Curry–Howard correspondence".

Curry encoding → influencedBy →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
Haskell Curry → knownFor →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
Haskell Curry → hasConceptNamedAfter →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
Brouwer–Heyting–Kolmogorov interpretation → influenced →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
System F → relatedTo →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
linked to: system F
Church encoding → relatedTo →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
System F → relatedTo →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
William Alvin Howard → notableFor →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
Martin-Löf type theory → relatedTo →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
Calculus of Constructions → basedOn →
"Curry–Howard correspondence"
↳ resolves to Curry–Howard correspondence
ⓘ
linked to: calculus of constructions