Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Logic of Computable Functions
open-in-new
<p>Logic of Computable Functions (LCF) is a <a href="/facts/Deductive_system/KaeDAjK7">deductive system</a> for <a href="/facts/Computable_function/dzwBlLGn">computable functions</a> proposed by <a href="/facts/Dana_Scott/XEVddlVg">Dana Scott</a> in 1969 in a memorandum unpublished until 1993. It inspired: </p> <ul><li><a href="/facts/Logic_for_Computable_Functions/wJsqr2rJ">Logic for Computable Functions</a> (LCF), theorem proving logic by <a href="/facts/Robin_Milner/oMfdsRwK">Robin Milner</a>.</li> <li><a href="/facts/Programming_Computable_Functions/X9oXdkSK">Programming Computable Functions</a> (PCF), small theoretical programming language by <a href="/facts/Gordon_Plotkin/2CrnVkVj">Gordon Plotkin</a>.</li></ul>