Revision as of 14:19, 7 March 2012 edit BD2412 (talk \| contribs) Autopatrolled, Administrators 2,527,835 edits not a dab ← Previous edit		Revision as of 07:43, 25 April 2012 edit undo Gaius Cornelius (talk \| contribs) Administrators 169,502 edits m Fix indefinite article, replaced: an memorandum → a memorandum using AWB Next edit →
Line 1: '''Logic of Computable Functions''' ('''LCF''') is a deductive system for computable functions proposed by [[Dana Scott]] in 1969 in ana memorandum unpublished until 1993.<ref>Dana S. Scott. "[http://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf A type-theoretical alternative to ISWIM, CUCH, OWHY]". ''Theoretical Computer Science'', '''121''':411–440, 1993. Annotated version of the 1969 manuscript.</ref> It inspired:

Logic of Computable Functions: Difference between revisions