HOLCF

(redirected from Higher Order Logic of Computable Functions)
AcronymDefinition
HOLCFHigher Order Logic of Computable Functions
HOLCFHigh Order Language Control Facility (US DoD)
Full browser ?