Logic of Computable Functions: Difference between revisions

Revision as of 22:09, 15 August 2009

Revision as of 16:42, 25 February 2011

Line 1:

'''Logic of Computable Functions''' is a deductive system for computable functions proposed by [[Dana Scott]] in 1969 in an unpublished memorandum.<ref>Robin Milner (1973). "[ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/73/332/CS-TR-73-332.pdf Models of LCF]"</ref>. It inspired:

#REDIRECT [[LCF (theorem prover)]]

* [[Programming Computable Functions]] (PCF), small theoretical programming language by [[Gordon Plotkin]].

* [[Logic for Computable Functions]] (LCF), theorem proving logic by [[Robin Milner]]

== References ==

<references/>

{{disambiguation}}

[[Category:Programming language theory]]