Disambiguation evidence for LCF theorem prover via surface form

"LCF (Logic for Computable Functions)"

Triples (1)

Triples where some other subject referred to this entity as "LCF (Logic for Computable Functions)".

Hope → influencedBy →
"LCF (Logic for Computable Functions)"
↳ resolves to LCF theorem prover
ⓘ
linked to: Hope programming language