Disambiguation evidence for Curry–Howard correspondence via surface form
"propositions-as-types"
Triples (1)
Triples where some other subject referred to this entity
as "propositions-as-types".
Curry–Howard correspondence
→
alsoKnownAs
→
"propositions-as-types"
ⓘ
↳ resolves to Curry–Howard correspondence