Content deleted Content added
No edit summary |
short description, marked as stub Tags: Mobile edit Mobile app edit iOS app edit |
||
Line 1:
{{Short description|Deductive system for computable functions by Dana Scott}}
{{comp-sci-stub}}
'''Logic of Computable Functions''' ('''LCF''') is a [[deductive system]] for [[computable function]]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:
| |||