Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_of_Computable_Functions> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Logic_of_Computable_Functions abstract "Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993. It inspired: Logic for Computable Functions (LCF), theorem proving logic by Robin Milner. Programming Computable Functions (PCF), small theoretical programming language by Gordon Plotkin.↑ ↑ ↑".
- Logic_of_Computable_Functions wikiPageID "23997265".
- Logic_of_Computable_Functions wikiPageLength "1222".
- Logic_of_Computable_Functions wikiPageOutDegree "6".
- Logic_of_Computable_Functions wikiPageRevisionID "564771173".
- Logic_of_Computable_Functions wikiPageWikiLink Category:Programming_language_theory.
- Logic_of_Computable_Functions wikiPageWikiLink Dana_Scott.
- Logic_of_Computable_Functions wikiPageWikiLink Gordon_Plotkin.
- Logic_of_Computable_Functions wikiPageWikiLink Logic_for_Computable_Functions.
- Logic_of_Computable_Functions wikiPageWikiLink Programming_Computable_Functions.
- Logic_of_Computable_Functions wikiPageWikiLink Robin_Milner.
- Logic_of_Computable_Functions wikiPageWikiLinkText "Logic of Computable Functions".
- Logic_of_Computable_Functions wikiPageUsesTemplate Template:Merge_to.
- Logic_of_Computable_Functions subject Category:Programming_language_theory.
- Logic_of_Computable_Functions hypernym System.
- Logic_of_Computable_Functions type Area.
- Logic_of_Computable_Functions type Area.
- Logic_of_Computable_Functions comment "Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993. It inspired: Logic for Computable Functions (LCF), theorem proving logic by Robin Milner. Programming Computable Functions (PCF), small theoretical programming language by Gordon Plotkin.↑ ↑ ↑".
- Logic_of_Computable_Functions label "Logic of Computable Functions".
- Logic_of_Computable_Functions sameAs Q6667465.
- Logic_of_Computable_Functions sameAs m.0j62k39.
- Logic_of_Computable_Functions sameAs Q6667465.
- Logic_of_Computable_Functions wasDerivedFrom Logic_of_Computable_Functions?oldid=564771173.
- Logic_of_Computable_Functions isPrimaryTopicOf Logic_of_Computable_Functions.