About: Combinatory logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Combinatory logic
skos:broader	dbpedia:Category:Logical_calculi dbpedia:Category:Functional_programming dbpedia:Category:Logic_in_computer_science dbpedia:Category:Recursion_theory
skos:prefLabel	Combinatory logic
is skos:broader of	dbpedia:Category:Applicative_computing_systems
is skos:subject of	dbpedia:Combinatory_logic dbpedia:Combinatory_categorial_grammar dbpedia:Fixed_point_combinator dbpedia:Applicative_computing_systems dbpedia:To_Mock_a_Mockingbird dbpedia:B,C,K,W_system dbpedia:Binary_combinatory_logic dbpedia:SKI_combinator_calculus