Logic of Computable Functions: Difference between revisions

Revision as of 03:45, 5 July 2021

Revision as of 23:12, 26 July 2022

Line 1:

'''Logic of Computable Functions''' ('''LCF''') is a [[deductive system]] for [[computable functionsfunction]]s proposed by [[Dana Scott]] in 1969 in a memorandum unpublished until 1993.<ref>Dana S. Scott. "[https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf A type-theoretical alternative to ISWIM, CUCH, OWHY]". ''[[Theoretical Computer Science (journal)|Theoretical Computer Science]]'', '''121''':411–440, 1993. Annotated version of the 1969 manuscript.</ref> It inspired:

Computer Science'', '''121''':411–440, 1993. Annotated version of the 1969 manuscript.</ref> It inspired:

* [[Logic for Computable Functions]] (LCF), theorem proving logic by [[Robin Milner]].<ref>Robin Milner (1973). "[http://i.stanford.edu/TR/CS-TR-73-332.html Models of LCF]"</ref>