Disambiguation evidence for polymorphic lambda calculus via surface form
"Girard–Reynolds polymorphic lambda calculus"
Triples (1)
Triples where some other subject referred to this entity
as "Girard–Reynolds polymorphic lambda calculus".
System F
→
alsoKnownAs
→
"Girard–Reynolds polymorphic lambda calculus"
ⓘ
↳ resolves to polymorphic lambda calculus