LCF -->
Logic for Computable Functions
computing dictionary

<programming language>

(LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

Acronym: LCF

(01 Jan 1995)