About: Lambda calculus

Property	Value
rdf:type	skos:Concept
rdfs:label	Lambda calculus
skos:broader	dbpedia:Category:Logical_calculi dbpedia:Category:Functional_programming dbpedia:Category:Programming_language_theory dbpedia:Category:Recursion_theory
skos:prefLabel	Lambda calculus
is skos:broader of	dbpedia:Category:Applicative_computing_systems
is skos:subject of	dbpedia:Combinatory_logic dbpedia:Binary_lambda_calculus dbpedia:Director_string dbpedia:Montague_grammar dbpedia:Context_change_potential dbpedia:De_Bruijn_notation dbpedia:Explicit_substitution dbpedia:Fixed_point_combinator dbpedia:Kleene–Rosser_paradox dbpedia:Lambda_lifting dbpedia:Lambda_calculus dbpedia:Higher-order_function dbpedia:Church–Rosser_theorem dbpedia:Applicative_computing_systems dbpedia:Apply dbpedia:De_Bruijn_index dbpedia:Lambda_cube dbpedia:B,C,K,W_system dbpedia:Beta_normal_form dbpedia:SKI_combinator_calculus dbpedia:Knights_of_the_Lambda_Calculus dbpedia:Lambda-mu_calculus dbpedia:Currying dbpedia:Anonymous_function dbpedia:Church_encoding dbpedia:Calculus_of_constructions dbpedia:Calculus_of_inductive_constructions dbpedia:Normalisation_by_evaluation dbpedia:Normalization_property_(lambda-calculus) dbpedia:Simply_typed_lambda_calculus dbpedia:Typed_lambda_calculus dbpedia:Pure_type_system dbpedia:System_F dbpedia:Type_inhabitation