Disambiguation evidence for System F via surface form

"System F"

Triples (7)

Triples where some other subject referred to this entity as "System F".

Hindley–Milner type system → relatedTo →
"System F"
↳ resolves to System F
ⓘ
Hindley–Milner type system → restrictionOf →
"System F"
↳ resolves to System F
ⓘ
John C. Reynolds → knownFor →
"System F"
↳ resolves to System F
ⓘ
Church encoding → relatedTo →
"System F"
↳ resolves to System F
ⓘ
Jean-Yves Girard → knownFor →
"System F"
↳ resolves to System F
ⓘ
Jean-Yves Girard → notableWork →
"System F"
↳ resolves to System F
ⓘ
Calculus of Constructions → generalizationOf →
"System F"
↳ resolves to System F
ⓘ
linked to: calculus of constructions