Revision as of 17:09, 25 February 2011 edit Ruud Koot (talk \| contribs) 31,416 edits LCF ← Previous edit		Revision as of 17:10, 25 February 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits fix link Next edit →
Line 1: '''Logic of Computable Functions''' ('''LCF''') is a deductive system for computable functions proposed by [[Dana Scott]] in 1969 in an 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