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