Revision as of 14:57, 4 November 2016 edit Klbrain (talk \| contribs) Autopatrolled, Extended confirmed users, New page reviewers 97,828 edits Removing stale merge proposal from July 2013; no case made, no support over more than 3 years, case for merge is not obvious ← Previous edit		Revision as of 20:16, 29 August 2019 edit undo Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →top: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ Tag: AWB Next edit →
Line 1: '''Logic of Computable Functions''' ('''LCF''') is a deductive system for computable functions proposed by [[Dana Scott]] in 1969 in a memorandum unpublished until 1993.<ref>Dana S. Scott. "[~~http~~https://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