Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logic_of_Computable_Functions> ?p ?o }
Showing triples 1 to 12 of
12
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 wikiPageRevisionID "564771173".
- Logic_of_Computable_Functions hasPhotoCollection Logic_of_Computable_Functions.
- Logic_of_Computable_Functions subject Category:Programming_language_theory.
- 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 m.0j62k39.
- Logic_of_Computable_Functions sameAs Q6667465.
- 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.