About: Lambda calculus

Property	Value
dbo:description	Формализм в математической логике (ru) 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계 (ko) een formeel systeem in de logische rekenkunde (nl) et formelt system indenfor den matematiske logik (da) formaalin laskennan malli (fi) formal system in mathematical logic (en) formala komputa sistemo (eo) formale Sprache zur Untersuchung von Funktionen (de) sistem formal dalam logika matematika (in) sistema formal de lògica matemàtica (ca) sistema formal en lógica matemática (es) système formel de la logique mathématique (fr) формален систем во математичката логика (mk) ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար (hy) ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์ (th) 計算の実行を関数への引数評価としてモデル化した計算体系 (ja) formální systém a výpočetní model používaný v teoretické informatice a matematice (cs) مبدا (fa) sistema formale definito nel 1936 dal matematico Alonzo Church (it)
dbo:wikiPageExternalLink	https://web.archive.org/web/20121014180848/http:/safalra.com/science/lambda-calculus/ https://web.archive.org/web/20210502051230/https:/safalra.com/ http://turing100.acm.org/lambda_calculus_timeline.pdf http://www.lambda-bound.com/book/lambdacalc/lcalconl.html https://chatziko.github.io/lci/ https://www.youtube.com/watch%3Fv=eis11j_iGMs https://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf%7Cdoi=10.1090/s0002-9904-1944-08090-7%7Cdoi-access=free http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf https://www.jstor.org/stable/421013 http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf http://matt.might.net/articles/c++-template-meta-programming-with-lambda-calculus/ http://portal.acm.org/citation.cfm%3Fid=363749&coll=portal&dl=ACM http://www.mscs.dal.ca/~selinger/papers/%23lambdanotes http://dkeenan.com/Lambda/ http://www.users.waitrose.com/~hindley/SomePapers_PDFs/2006CarHin,HistlamRp.pdf http://www.allisons.org/ll/FP/Lambda/Examples/ http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/tutorials/lambda.pdf http://lambda-the-ultimate.org/classic/lc.html http://worrydream.com/AlligatorEggs/ http://www.safalra.com/ http://www.safalra.com/science/lambda-calculus/ https://hbr.github.io/Lambda-Calculus/ https://web.archive.org/web/20011206080336/http:/www.jetcafe.org/~jim/lambda.html https://web.archive.org/web/20070713173324/http:/thyer.name/lambda-animator/ https://web.archive.org/web/20080307014129/http:/www.cs.man.ac.uk/~hsimmons/BOOKS/lcalculus.pdf https://web.archive.org/web/20140202195546/http:/imar.ro/~mbuliga/graphic_revised.pdf https://web.archive.org/web/20141216225504/http:/www.iep.utm.edu/lambda-calculi/ https://web.archive.org/web/20160729210437/http:/cs.adelaide.edu.au/~pmk/publications/wage2008.pdf https://archive.org/details/AnnalsOfMathematicalStudies6ChurchAlonzoTheCalculiOfLambdaConversionPrincetonUniversityPress1941 https://codedot.github.io/lambda/
dbo:wikiPageWikiLink	dbr:Syntactic_sugar dbr:Confluence_(abstract_rewriting) dbr:Currying dbr:System_F dbr:Reduction_strategy dbr:Kappa_calculus dbr:Let_expression dbr:Name_collision dbr:Church–Rosser_theorem dbr:Classical_logic dbr:Smalltalk dbr:Functional_programming dbr:Imperative_programming dbr:Richard_Montague dbr:Evaluation_strategy dbr:Category_theory dbr:Object_(computer_science) dbr:First-class_function dbr:Natural_deduction dbr:Caml dbr:Communications_of_the_ACM dbr:Self-reference dbr:Henk_Barendregt dbr:C_Sharp_(programming_language) dbr:Philosophy dbr:Subtyping dbc:1936_in_computing dbc:Articles_with_example_Lisp_(programming_language)_code dbc:Computability_theory dbc:Lambda_calculus dbc:Models_of_computation dbr:Deductive_lambda_calculus dbr:Recursion dbr:SKI_combinator_calculus dbr:Untyped_lambda_calculus dbr:Dana_Scott dbr:Standard_ML dbr:Eiffel_(programming_language) dbr:Cartesian_closed_category dbr:Arithmetic dbc:Formal_methods dbr:Consistency dbr:Function_(mathematics) dbr:Lambda dbr:Mathematical_proof dbr:Set_theory dbr:Factorial dbr:Parallel_computing dbr:Cardinality dbr:Principia_Mathematica dbr:Categorical_abstract_machine dbr:Identity_function dbr:Operator_associativity dbr:Gödel's_incompleteness_theorems dbr:Proof_theory dbr:Programming_idiom dbr:Type_system dbr:Free_variables_and_bound_variables dbr:If_and_only_if dbr:Church_encoding dbr:Typed_lambda_calculus dbr:Universal_Turing_machine dbr:Big_O_notation dbr:Deductive_system dbr:Formal_system dbr:Scott_continuity dbr:Futures_and_promises dbr:Procedural_programming dbr:Computable_function dbr:JavaScript dbr:Mathematics dbr:Church–Turing_thesis dbr:Turing_completeness dbr:Functional_programming_language dbr:Virtual_machine dbr:Combinatory_logic dbr:Domain_theory dbr:Explicit_substitution dbr:Beta_normal_form dbr:Interaction_nets dbr:Unlambda dbr:SECD_machine dbr:Computability dbr:Denotational_semantics dbr:Eeny,_meeny,_miny,_moe dbr:Up_to dbr:Iota_and_Jot dbr:Graph_reduction dbr:ASCII dbc:Theoretical_computer_science dbr:Linguistics dbr:Programming_language dbr:Low-level_programming_language dbr:Extensionality dbr:Free_On-line_Dictionary_of_Computing dbr:Structure_and_Interpretation_of_Computer_Programs dbr:De_Bruijn_index dbr:De_Bruijn_notation dbr:Lambda-mu_calculus dbr:C_(programming_language) dbr:Computer_science dbr:Internet_Encyclopedia_of_Philosophy dbr:Pascal_(programming_language) dbr:Semantics_(computer_science) dbr:Library_(computing) dbr:Alonzo_Church dbr:Peter_Landin dbr:Regular_expression dbr:Scheme_(programming_language) dbr:Truth_value dbr:Computational_complexity_theory dbr:Applicative_computing_systems dbr:Mathematical_logic dbr:Model_theory dbr:Higher-order_function dbr:Substitution_(algebra) dbr:Pure_type_system dbr:Scala_(programming_language) dbr:Abstraction_(computer_science) dbr:B,_C,_K,_W_system dbr:C++11 dbr:Rewriting dbr:Function_application dbr:Director_string dbr:Studia_Logica dbr:Distributed_computing dbr:Semantics dbr:Tuple dbr:Harrop_formula dbr:Kleene–Rosser_paradox dbr:Knights_of_the_Lambda_Calculus dbr:Variable_shadowing dbr:Gödel_numbering dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Esoteric_programming_language dbr:Natural_number dbr:Turing_machine dbr:Python_(programming_language) dbr:Operational_definition dbr:Foundations_of_mathematics dbr:Lambda_cube dbr:Minimalism_(computing) dbr:Programming_language_theory dbr:Scott–Curry_theorem dbr:Scope_(programming) dbr:The_MIT_Press dbr:Recursive_definition dbr:American_Journal_of_Mathematics dbr:Decision_problem dbr:Model_of_computation dbr:Lambda_calculus_definition dbr:Name_binding dbr:Krivine_machine dbr:Portable_Document_Format dbr:Name_resolution_(programming_languages) dbr:ML_programming_language dbr:Stephen_Kleene dbr:Haskell_(programming_language) dbr:Wikipedia:Foldoc_license dbr:Hacker_(programmer_subculture) dbr:Formalism_(mathematics) dbr:Equational_theory dbr:Epsilon_operator dbr:Wolfram_Language dbr:Reduction_strategy_(lambda_calculus) dbr:To_Mock_a_Mockingbird dbr:Programming_languages dbr:North-Holland_Publishing_Company dbr:J._B._Rosser dbr:Strongly_normalising dbr:Binary_lambda_calculus dbr:Turing_complete dbr:Maplet dbr:C++_Templates dbr:First-class_object dbr:Laws_of_exponents dbr:Process_calculi dbr:Weakly_normalising dbr:Church_numeral dbr:Curry–Howard_isomorphism dbr:Function_pointers dbr:Functional_programming_languages dbr:Internal_language dbr:Iota_operator dbr:Arguments dbr:Combinator_calculus dbr:Partially_ordered_sets dbr:Inductive_definition dbr:Rewrite_system dbr:Singleton_set dbr:Subprograms dbr:Type_systems dbr:Typed_lambda_calculi
dbp:date	2012-10-14 (xsd:date) 2021-05-02 (xsd:date) 2021-05-06 (xsd:date)
dbp:id	p/l057000 (en)
dbp:title	Lambda-calculus (en)
dbp:url	https://web.archive.org/web/20121014180848/http:/safalra.com/science/lambda-calculus/ https://web.archive.org/web/20210502051230/https:/safalra.com/ https://web.archive.org/web/20210506154120/http:/www.users.waitrose.com/~hindley/SomePapers_PDFs/2006CarHin,HistlamRp.pdf
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Smalldiv dbt:Portal dbt:Commons_category dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Notelist dbt:Math dbt:= dbt:Anchor dbt:Cite_journal dbt:Alonzo_Church dbt:See_also dbt:Citation dbt:Further dbt:Formal_semantics dbt:Mvar dbt:Mono dbt:Mathematical_logic dbt:Colbegin dbt:Colend dbt:Isbn dbt:Rp dbt:Springer dbt:Webarchive dbt:Efn dbt:Functions_navbox dbt:Short_description
dct:subject	dbc:Articles_with_example_Python_(programming_language)_code dbc:1936_in_computing dbc:Articles_with_example_Lisp_(programming_language)_code dbc:Computability_theory dbc:Lambda_calculus dbc:Models_of_computation dbc:Programming_language_comparisons dbc:Formal_methods dbc:Theoretical_computer_science
gold:hypernym	dbr:System
rdfs:label	Lambda calculus (en) Càlcul lambda (ca) تكامل لامدا (ar) Lambda kalkul (cs) Λογισμός λάμδα (el) Lambda-kalkulo (eo) Lambda-Kalkül (de) Cálculo lambda (es) Lambda-calcul (fr) Lambda calcolo (it) ラムダ計算 (ja) 람다 대수 (ko) Lambdacalculus (nl) Rachunek lambda (pl) Cálculo lambda (pt) Lambdakalkyl (sv) Лямбда-исчисление (ru) Лямбда-числення (uk) Λ演算 (zh)
rdfs:seeAlso	dbr:Recursion dbr:SKI_combinator_calculus
owl:sameAs	yago-res:Lambda calculus freebase:Lambda calculus wikidata:Lambda calculus dbpedia-it:Lambda calculus dbpedia-nl:Lambda calculus dbpedia-de:Lambda calculus dbpedia-fr:Lambda calculus dbpedia-tr:Lambda calculus dbpedia-zh:Lambda calculus dbpedia-ja:Lambda calculus dbpedia-pt:Lambda calculus dbpedia-he:Lambda calculus dbpedia-da:Lambda calculus dbpedia-es:Lambda calculus dbpedia-hu:Lambda calculus dbpedia-fa:Lambda calculus dbpedia-ru:Lambda calculus dbpedia-sv:Lambda calculus dbpedia-vi:Lambda calculus dbpedia-pl:Lambda calculus dbpedia-ko:Lambda calculus dbpedia-el:Lambda calculus dbpedia-et:Lambda calculus dbpedia-ca:Lambda calculus http://d-nb.info/gnd/4166495-4 dbpedia-ar:Lambda calculus dbpedia-az:Lambda calculus dbpedia-bn:Lambda calculus dbpedia-bs:Lambda calculus dbpedia-ckb:Lambda calculus dbpedia-cs:Lambda calculus dbpedia-eo:Lambda calculus dbpedia-fi:Lambda calculus dbpedia-hr:Lambda calculus dbpedia-hy:Lambda calculus dbpedia-is:Lambda calculus dbpedia-no:Lambda calculus dbpedia-sh:Lambda calculus dbpedia-simple:Lambda calculus dbpedia-sk:Lambda calculus dbpedia-sr:Lambda calculus dbpedia-ta:Lambda calculus dbpedia-th:Lambda calculus dbpedia-tl:Lambda calculus dbpedia-uk:Lambda calculus dbpedia-ce:Lambda calculus dbpedia-global:Lambda calculus dbr:Lambda calculus
prov:wasDerivedFrom	wikipedia-en:Lambda_calculus?oldid=1295654863&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Lambda_calculus
is dbo:knownFor of	dbr:Alonzo_Church
is dbo:wikiPageDisambiguates of	dbr:Calculus_(disambiguation) dbr:Lambda_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Untyped_lambda_calculus dbr:Lambda_expressions dbr:Beta_reduction dbr:A_conversion dbr:Abstraction_operator dbr:Lambda_abstraction dbr:Eta_conversion dbr:L-calculus dbr:L_calculus dbr:Alpha-conversion dbr:Alpha-renaming dbr:AlphaRenaming dbr:Alpha_conversion dbr:Alpha_equivalence dbr:Alpha_equivalent dbr:Alpha_reduction dbr:Alpha_renaming dbr:B-reduction dbr:Beta-reduction dbr:Beta_conversion dbr:Beta_substitution dbr:Α-conversion dbr:Α_conversion dbr:Β-reduction dbr:Η-conversion dbr:Η_conversion dbr:Functional_abstraction dbr:Anonymous_function_abstraction dbr:Lambda-calculi dbr:Lambda-calculus dbr:Lambda-definable_function dbr:Lambda-definable_functions dbr:Lambda-recursive_function dbr:Lambda-term_bound_variables dbr:Lambda_Calculus dbr:Lambda_calculas dbr:Lambda_calculi dbr:Lambda_kalkül dbr:Lambda_language dbr:Lambda_programming dbr:Lambda_term dbr:Lambda_terms dbr:Lamda_calculus dbr:Lamda_expression dbr:Lanbda-calculus dbr:Capture-avoiding_substitution dbr:Eta-conversion dbr:Eta-reduction dbr:Eta_expansion dbr:Eta_reduction dbr:Λ-abstraction dbr:Λ-calculus dbr:Λ_calculus dbr:Λa-calculus dbr:Λx dbr:Λy dbr:Λz dbr:Type-free_lambda_calculus dbr:Type_free_lambda_calculus dbr:Typefree_lambda_calculus
is dbo:wikiPageWikiLink of	dbr:Max_Newman dbr:Index_of_computing_articles dbr:Syntactic_sugar dbr:Timeline_of_mathematics dbr:Xtend dbr:Confluence_(abstract_rewriting) dbr:Currying dbr:Plessey_System_250 dbr:Planning_Domain_Definition_Language dbr:List_of_computability_and_complexity_topics dbr:List_of_formal_systems dbr:Samson_Abramsky dbr:Nominal_terms_(computer_science) dbr:Normalisation_by_evaluation dbr:Reduction_strategy dbr:History_of_the_Actor_model dbr:Kappa_calculus dbr:Let_expression dbr:Church–Rosser_theorem dbr:List_of_undecidable_problems dbr:Reification_(computer_science) dbr:Narrowing_of_algebraic_value_sets dbr:Audrey_Bates_(programmer) dbr:Mariangiola_Dezani-Ciancaglini dbr:Functional_programming dbr:Logic_programming dbr:Scratch_(programming_language) dbr:Closure_(computer_programming) dbr:Calculus dbr:Evaluation_strategy dbr:Category_theory dbr:Polish_notation dbr:History_of_artificial_intelligence dbr:Unary_numeral_system dbr:Monad_(functional_programming) dbr:Natural_deduction dbr:Process_calculus dbr:Continuation dbr:Categorial_grammar dbr:Henk_Barendregt dbr:Joy_(programming_language) dbr:C++ dbr:Polymorphism_(computer_science) dbr:Deductive_lambda_calculus dbr:Function_composition dbr:SKI_combinator_calculus dbr:Untyped_lambda_calculus dbr:Variable_(mathematics) dbr:F_Sharp_(programming_language) dbr:Combinatory_categorial_grammar dbr:Eiffel_(programming_language) dbr:Focus_(linguistics) dbr:Z_notation dbr:Generalized_quantifier dbr:Creative_and_productive_sets dbr:Logtalk dbr:Comparison_of_command_shells dbr:Expression_(mathematics) dbr:Function_(mathematics) dbr:Lambda dbr:Iterated_function dbr:Russell's_paradox dbr:Turing_machine_equivalents dbr:Fixed-point_combinator dbr:Quantum_programming dbr:APL_(programming_language) dbr:Function_composition_(computer_science) dbr:Unification_(computer_science) dbr:Hindley–Milner_type_system dbr:Type_system dbr:Type_theory dbr:Free_variables_and_bound_variables dbr:Hans_Kamp dbr:Church_encoding dbr:Cons dbr:Abstract_rewriting_system dbr:Typed_lambda_calculus dbr:Essentials_of_Programming_Languages dbr:Modal_μ-calculus dbr:Pattern_calculus dbr:Matthias_Felleisen dbr:Timeline_of_United_States_inventions_(1890–1945) dbr:Timeline_of_category_theory_and_related_mathematics dbr:Timeline_of_mathematical_logic dbr:Definite_description dbr:J._Barkley_Rosser dbr:Calculus_(disambiguation) dbr:Formal_system dbr:Curry's_paradox dbr:Metamathematics dbr:Function_space dbr:Canonical_form dbr:Computable_function dbr:Knowledge_representation_and_reasoning dbr:AngularJS dbr:Normal_form_(abstract_rewriting) dbr:Pico_(programming_language) dbr:Word_problem_(mathematics) dbr:Logic dbr:Church–Turing_thesis dbr:Turing_completeness dbr:OCaml dbr:Substitution_(logic) dbr:Parameter dbr:Parameter_(computer_programming) dbr:Combinatory_logic dbr:Domain_theory dbr:Explicit_substitution dbr:Beta_normal_form dbr:Cylindric_algebra dbr:Index_of_philosophy_articles_(I–Q) dbr:Indirect_self-reference dbr:Interaction_nets dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:Anonymous_function dbr:Computation dbr:Halting_problem dbr:Unlambda dbr:Arity dbr:Computable_number dbr:SECD_machine dbr:Gordon_Plotkin dbr:Computability dbr:Conditional_(computer_programming) dbr:List_of_educational_programming_languages dbr:Helmut_Schwichtenberg dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Iota_and_Jot dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Indeterminacy_in_concurrent_computation dbr:Procedural_parameter dbr:Alan_Turing dbr:Algorithm dbr:Grammar dbr:History_of_programming_languages dbr:Lazy_evaluation dbr:Snap!_(programming_language) dbr:Theoretical_computer_science dbr:Lambda_(disambiguation) dbr:Gérard_Berry dbr:Montague_grammar dbr:Actor_model_later_history dbr:Daniel_P._Friedman dbr:De_Bruijn_index dbr:Lambda-mu_calculus dbr:Lambda_expression dbr:Lambda_expressions dbr:Lambda_lifting dbr:Communication_with_extraterrestrial_intelligence dbr:Eta dbr:Computer_program dbr:List_of_pioneers_in_computer_science dbr:Semantics_(computer_science) dbr:Alonzo_Church dbr:Haskell_Curry dbr:John_Backus dbr:John_McCarthy_(computer_scientist) dbr:Peter_Landin dbr:Correctness_(computer_science) dbr:Lisp_(programming_language) dbr:ALGOL dbr:Scheme_(programming_language) dbr:Computational_complexity_theory dbr:Supercombinator dbr:Applicative_computing_systems dbr:Blocks_(C_language_extension) dbr:Moses_Schönfinkel dbr:Stephen_Cole_Kleene dbr:Mathematical_logic dbr:Laws_of_Form dbr:Non-structured_programming dbr:P-complete dbr:FP_(programming_language) dbr:Higher-order_function dbr:ISWIM dbr:Substitution_(algebra) dbr:Kleene's_recursion_theorem dbr:Operational_semantics dbr:Region-based_memory_management dbr:Harry_Mairson dbr:History_of_the_Scheme_programming_language dbr:History_of_the_function_concept dbr:History_of_topos_theory dbr:List_of_incomplete_proofs dbr:Unbounded_nondeterminism dbr:Entscheidungsproblem dbr:Actor_model dbr:Denotational_semantics_of_the_Actor_model dbr:Unrestricted_grammar dbr:Π-calculus dbr:Semantic_gap dbr:Abstraction_(computer_science) dbr:Continuation-passing_style dbr:B,_C,_K,_W_system dbr:Theory_of_computation dbr:Inline_expansion dbr:Böhm_tree dbr:Applicative_universal_grammar dbr:Apply dbr:Function_application dbr:Director_string dbr:Divergence_(computer_science) dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Montgomery_Blair_High_School dbr:Twelf dbr:General_recursive_function dbr:MATLAB dbr:Function-level_programming dbr:Post–Turing_machine dbr:Lambda_function dbr:Fexpr dbr:Kleene–Rosser_paradox dbr:Knights_of_the_Lambda_Calculus dbr:Spyce_(software) dbr:Stratification_(mathematics) dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:List_of_University_of_California,_Los_Angeles_people dbr:Vienna_Summer_of_Logic dbr:Anti-unification_(computer_science) dbr:Comparison_of_programming_paradigms dbr:Turing_machine dbr:Garbage_collection_(computer_science) dbr:Corrado_Böhm dbr:Eval dbr:List_of_theorems dbr:Curry–Howard_correspondence dbr:S-expression dbr:Software_patent_debate dbr:Juxtaposition dbr:Value-level_programming dbr:Algorithm_characterizations dbr:Completeness_of_atomic_initial_sequents dbr:Higher-order_abstract_syntax dbr:Higher-order_programming dbr:Homotopy_type_theory dbr:List_of_programming_language_researchers dbr:Predicate_functor_logic dbr:Pregroup_grammar dbr:Metamath dbr:Richard_Statman dbr:Minimalism_(computing) dbr:Deduction_theorem dbr:Funarg_problem dbr:ΛProlog dbr:Pure_function dbr:Programming_language_theory dbr:List_of_types_of_functions dbr:Scott–Curry_theorem dbr:Beta_reduction dbr:List_of_computer_scientists dbr:Model_of_computation dbr:Computable_topology dbr:Computational_complexity dbr:Tim_Teitelbaum dbr:Call-by-push-value dbr:Grigore_Roșu dbr:Amalgamation_property dbr:Ambient_calculus dbr:Geometry_of_interaction dbr:Mogensen–Scott_encoding dbr:Krivine_machine dbr:A_conversion dbr:Abstraction_operator dbr:Outline_of_logic dbr:Name_resolution_(programming_languages) dbr:CEK_Machine dbr:Lambda_abstraction dbr:Anonymous_recursion dbr:Rho_calculus dbr:Eta_conversion dbr:A++ dbr:Syncategorematic_term dbr:Wikifunctions dbr:Semantic_parsing dbr:Dynamic_syntax dbr:Church_(surname) dbr:To_Mock_a_Mockingbird dbr:Fixed-point_theorems dbr:Barbara_Partee dbr:ARS-based_programming dbr:List_of_important_publications_in_computer_science dbr:L-calculus dbr:L_calculus dbr:Alpha-conversion dbr:Alpha-renaming dbr:AlphaRenaming dbr:Alpha_conversion dbr:Alpha_equivalence dbr:Alpha_equivalent dbr:Alpha_reduction dbr:Alpha_renaming dbr:B-reduction dbr:Beta-reduction dbr:Beta_conversion dbr:Beta_substitution dbr:Α-conversion dbr:Α_conversion dbr:Β-reduction
is dbp:knownFor of	dbr:Alonzo_Church
is rdfs:seeAlso of	dbr:Reduction_strategy dbr:Scheme_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Lambda_calculus