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”".

Philip Wadler → coAuthored →
"“Propositions as Types”"
↳ resolves to Curry–Howard correspondence
ⓘ