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 |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | |
Is dbpedia-owl:wikiPageWikiLink of |