Logic of Computable Functions
Encyclopedia
Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott
in 1969 in an memorandum unpublished until 1993. It inspired:
Dana Scott
Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California...
in 1969 in an memorandum unpublished until 1993. It inspired:
- Logic for Computable Functions (LCF), theorem proving logic by Robin MilnerRobin MilnerArthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
. - Programming Computable Functions (PCF), small theoretical programming language by Gordon PlotkinGordon PlotkinGordon D. Plotkin, FRS, FRSE is a Scottish computer scientist.Gordon Plotkin is best-known for his introduction of structural operational semantics and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential...
.