Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Lambda_calculus> . }
Showing items 1 to 49 of
49
with 100 items per page.
- Anonymous_function subject Category:Lambda_calculus.
- Applicative_computing_systems subject Category:Lambda_calculus.
- Apply subject Category:Lambda_calculus.
- B,C,K,W_system subject Category:Lambda_calculus.
- Beta_normal_form subject Category:Lambda_calculus.
- Binary_lambda_calculus subject Category:Lambda_calculus.
- Böhm_tree subject Category:Lambda_calculus.
- Calculus_of_constructions subject Category:Lambda_calculus.
- Cartesian_closed_category subject Category:Lambda_calculus.
- Church_encoding subject Category:Lambda_calculus.
- Church–Rosser_theorem subject Category:Lambda_calculus.
- Combinatory_logic subject Category:Lambda_calculus.
- Context_change_potential subject Category:Lambda_calculus.
- Currying subject Category:Lambda_calculus.
- De_Bruijn_index subject Category:Lambda_calculus.
- De_Bruijn_notation subject Category:Lambda_calculus.
- Deductive_lambda_calculus subject Category:Lambda_calculus.
- Director_string subject Category:Lambda_calculus.
- Divergence_(computer_science) subject Category:Lambda_calculus.
- Explicit_substitution subject Category:Lambda_calculus.
- Fixed-point_combinator subject Category:Lambda_calculus.
- Higher-order_function subject Category:Lambda_calculus.
- Hindley–Milner_type_system subject Category:Lambda_calculus.
- Kleene–Rosser_paradox subject Category:Lambda_calculus.
- Knights_of_the_Lambda_Calculus subject Category:Lambda_calculus.
- Lambda-mu_calculus subject Category:Lambda_calculus.
- Lambda_calculus subject Category:Lambda_calculus.
- Lambda_cube subject Category:Lambda_calculus.
- Lambda_lifting subject Category:Lambda_calculus.
- Let_expression subject Category:Lambda_calculus.
- Mogensen–Scott_encoding subject Category:Lambda_calculus.
- Montague_grammar subject Category:Lambda_calculus.
- Normalisation_by_evaluation subject Category:Lambda_calculus.
- Normalization_property_(abstract_rewriting) subject Category:Lambda_calculus.
- Pattern_calculus subject Category:Lambda_calculus.
- Pure_type_system subject Category:Lambda_calculus.
- Reduction_strategy_(lambda_calculus) subject Category:Lambda_calculus.
- Rho_calculus subject Category:Lambda_calculus.
- SKI_combinator_calculus subject Category:Lambda_calculus.
- Simply_typed_lambda_calculus subject Category:Lambda_calculus.
- Supercombinator subject Category:Lambda_calculus.
- System_F subject Category:Lambda_calculus.
- System_F-sub subject Category:Lambda_calculus.
- Type_inhabitation subject Category:Lambda_calculus.
- Typed_lambda_calculus subject Category:Lambda_calculus.
- Η-conversion subject Category:Lambda_calculus.
- Category:Abstract_machines broader Category:Lambda_calculus.
- Category:Applicative_computing_systems broader Category:Lambda_calculus.
- Category:Substitution_(logic) broader Category:Lambda_calculus.