Logic for Computable Functions


Also found in: Wikipedia.

Logic for Computable Functions

(language)
(LCF) Part of the Edinburgh proof assistant.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?