Disambiguation evidence for Basic Simple Type Theory via surface form
"Basic Simple Type Theory"
Triples (2)
Triples where some other subject referred to this entity
as "Basic Simple Type Theory".
J. Roger Hindley
→
notableWork
→
"Basic Simple Type Theory"
ⓘ
↳ resolves to Basic Simple Type Theory