Revision as of 16:53, 25 February 2011 edit Ruud Koot (talk \| contribs) 31,416 edits No edit summary ← Previous edit		Revision as of 17:02, 25 February 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits www.cs.cmu.edu/~kw/scans/scott93tcs.pdf Next edit →
Line 1: '''Logic of Computable Functions''' is a deductive system for computable functions proposed by [[Dana Scott]] in 1969 in an memorandum unpublished until 1993.<ref>Dana S. Scott. "[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