What does HOLCF stand for?
HOLCF stands for "Higher Order Logic of Computable Functions"
How to abbreviate "Higher Order Logic of Computable Functions"?
"Higher Order Logic of Computable Functions" can be abbreviated as HOLCF
What is the meaning of HOLCF abbreviation?
The meaning of HOLCF abbreviation is "Higher Order Logic of Computable Functions"
What does HOLCF mean?
HOLCF as abbreviation means "Higher Order Logic of Computable Functions"
