Content deleted Content added
Removing stale merge proposal from July 2013; no case made, no support over more than 3 years, case for merge is not obvious |
short description, marked as stub Tags: Mobile edit Mobile app edit iOS app edit |
||
| (4 intermediate revisions by 4 users not shown) | |||
Line 1:
{{Short description|Deductive system for computable functions by Dana Scott}}
'''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://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf A type-theoretical alternative to ISWIM, CUCH, OWHY]". ''Theoretical▼
{{comp-sci-stub}}
▲'''Logic of Computable Functions''' ('''LCF''') is a [[deductive system]] for [[computable
* [[Logic for Computable Functions]] (LCF), theorem proving logic by [[Robin Milner]].<ref>Robin Milner (1973). "[http://i.stanford.edu/TR/CS-TR-73-332.html Models of LCF]"</ref>
Line 12 ⟶ 14:
| pages = 223–255
| volume = 5
| issue = 3
| doi = 10.1016/0304-3975(77)90044-5
| url = http://homepages.inf.ed.ac.uk/gdp/publications/LCF.pdf
|
}}</ref>
== References ==
| |||