Logic of Computable Functions: Difference between revisions

Revision as of 10:32, 18 July 2013

Revision as of 14:31, 30 September 2016

Line 3:

Computer Science'', '''121''':411–440, 1993. Annotated version of the 1969 manuscript.</ref> It inspired:

* [[Logic for Computable Functions]] (LCF), theorem proving logic by [[Robin Milner]].<ref>Robin Milner (1973). "[ftphttp://reportsi.stanford.edu/pub/cstr/reports/cs/tr/73/332TR/CS-TR-73-332.pdfhtml Models of LCF]"</ref>

* [[Programming Computable Functions]] (PCF), small theoretical programming language by [[Gordon Plotkin]].<ref>{{ cite journal

| first = Gordon D.