Disambiguation evidence for LF type theory via surface form

"LF type theory"

Triples (1)

Triples where some other subject referred to this entity as "LF type theory".

Twelf → implements →
"LF type theory"
↳ resolves to LF type theory
ⓘ