El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL GKL] Grundlagen der kombinatorischen Logik.

rdfs:comment
  • El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL GKL] Grundlagen der kombinatorischen Logik. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Sistema B,C,K,W (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 38971 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2042 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 6 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 73976756 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of