Disambiguation evidence for polymorphic lambda calculus via surface form
"polymorphic lambda calculus"
Triples (2)
Triples where some other subject referred to this entity
as "polymorphic lambda calculus".
System F
→
hasAlternativeName
→
"polymorphic lambda calculus"
ⓘ
↳ resolves to polymorphic lambda calculus
linked to:
system F