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/ https://codedot.github.io/lambda/ http://turing100.acm.org/lambda_calculus_timeline.pdf http://www.lambda-bound.com/book/lambdacalc/lcalconl.html https://chatziko.github.io/lci/ 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://portal.acm.org/citation.cfm%3Fid=363749&coll=portal&dl=ACM http://matt.might.net/articles/c++-template-meta-programming-with-lambda-calculus/ http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf 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://archive.org/details/AnnalsOfMathematicalStudies6ChurchAlonzoTheCalculiOfLambdaConversionPrincetonUniversityPress1941 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://www.youtube.com/watch%3Fv=eis11j_iGMs https://www.jstor.org/stable/421013
dbo:wikiPageWikiLink	dbr:First-class_object dbr:Foundations_of_mathematics dbr:Semantics dbr:Free_On-line_Dictionary_of_Computing dbr:Henk_Barendregt dbr:If_and_only_if dbr:Computability dbr:Functional_programming_language dbr:Lambda-mu_calculus dbr:Categorical_abstract_machine dbr:JavaScript dbr:Mathematics dbr:Category_theory dbr:Model_theory dbr:Richard_Montague dbr:Computable_function dbc:Computability_theory dbr:Name_resolution_(programming_languages) dbr:ASCII dbr:Alonzo_Church dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Computer_science dbr:Eiffel_(programming_language) dbr:Function_(mathematics) dbr:Linguistics dbr:Mathematical_logic dbr:Parallel_computing dbr:Philosophy dbr:Programming_language dbr:Python_(programming_language) dbr:Scala_(programming_language) dbr:Scheme_(programming_language) dbr:Smalltalk dbr:Turing_machine dbr:Formal_system dbr:Programming_idiom dbr:Extensionality dbr:Krivine_machine dbr:First-class_function dbr:Minimalism_(computing) dbr:Reduction_strategy dbr:Pascal_(programming_language) dbr:Arithmetic dbr:Computational_complexity_theory dbr:Distributed_computing dbr:Lambda dbr:Mathematical_proof dbr:Set_theory dbr:C++11 dbr:Natural_number dbr:Principia_Mathematica dbr:Standard_ML dbr:Dana_Scott dbr:Denotational_semantics dbr:Scott_continuity dbr:Semantics_(computer_science) dbr:Wolfram_Language dbr:Proof_theory dbr:Object_(computer_science) dbr:Decision_problem dbr:Futures_and_promises dbr:Procedural_programming dbr:Higher-order_function dbr:Internet_Encyclopedia_of_Philosophy dbr:Library_(computing) dbr:Unlambda dbr:Imperative_programming dbr:Subtyping dbr:Type_system dbr:Lambda_calculus_definition dbr:Combinatory_logic dbr:Currying dbr:Gödel's_incompleteness_theorems dbr:Gödel_numbering dbr:Factorial dbr:Low-level_programming_language dbr:Big_O_notation dbr:Recursion dbr:Regular_expression dbr:Natural_deduction dbr:Free_variables_and_bound_variables dbr:Iota_and_Jot dbr:Cardinality dbr:Calculus_of_constructions dbr:SKI_combinator_calculus dbr:Typed_lambda_calculus dbr:Evaluation_strategy dbr:B,_C,_K,_W_system dbr:Church_encoding dbr:Church–Rosser_theorem dbr:Church–Turing_thesis dbr:Functional_programming dbr:Model_of_computation dbr:Peter_Landin dbr:Rewriting dbr:SECD_machine dbr:Scott–Curry_theorem dbr:Simply_typed_lambda_calculus dbr:Structure_and_Interpretation_of_Computer_Programs dbr:Syntactic_sugar dbr:Abstraction_(computer_science) dbr:Caml dbr:Turing_completeness dbr:Communications_of_the_ACM dbr:Confluence_(abstract_rewriting) dbr:Self-reference dbr:Up_to dbr:To_Mock_a_Mockingbird dbr:Operational_definition dbr:Universal_Turing_machine dbr:Deductive_system dbr:Lambda_cube dbr:Cartesian_closed_category dbr:Beta_normal_form dbr:Explicit_substitution dbr:Classical_logic dbr:Virtual_machine dbr:Tuple dbc:Articles_with_example_Lisp_(programming_language)_code dbr:Graph_reduction dbr:Esoteric_programming_language dbr:Identity_function dbr:Domain_theory dbr:Truth_value dbr:Recursive_definition dbr:Programming_language_theory dbr:System_F dbr:Operator_associativity dbr:Knights_of_the_Lambda_Calculus dbr:Consistency dbr:Kleene–Rosser_paradox dbr:De_Bruijn_index dbr:De_Bruijn_notation dbr:Eeny,_meeny,_miny,_moe dbr:American_Journal_of_Mathematics dbr:Interaction_nets dbr:Studia_Logica dbr:Function_application dbr:Applicative_computing_systems dbr:Director_string dbc:1936_in_computing dbc:Lambda_calculus dbr:Variable_shadowing dbr:Pure_type_system dbc:Theoretical_computer_science dbc:Formal_methods dbr:Name_collision dbc:Models_of_computation dbr:Substitution_(algebra) dbr:Reduction_strategy_(lambda_calculus) dbr:Kappa_calculus dbr:Let_expression dbr:Harrop_formula dbr:Deductive_lambda_calculus dbr:Untyped_lambda_calculus dbr:Epsilon_operator dbr:Name_binding dbr:Wikipedia:Foldoc_license dbr:Programming_languages dbr:Hacker_(programmer_subculture) dbr:ML_programming_language dbr:Portable_Document_Format dbr:Stephen_Kleene dbr:Turing_complete dbr:Equational_theory dbr:North-Holland_Publishing_Company dbr:The_MIT_Press dbr:Church_numeral dbr:Laws_of_exponents dbr:Formalism_(mathematics) dbr:Haskell_(programming_language) dbr:Scope_(programming) dbr:Arguments dbr:Process_calculi dbr:Binary_lambda_calculus dbr:Maplet dbr:Function_pointers dbr:Functional_programming_languages dbr:Combinator_calculus dbr:Weakly_normalising dbr:C++_Templates dbr:Curry–Howard_isomorphism dbr:Subprograms dbr:Inductive_definition dbr:Internal_language dbr:Iota_operator dbr:J._B._Rosser dbr:Partially_ordered_sets dbr:Rewrite_system dbr:Type_systems dbr:Typed_lambda_calculi dbr:Strongly_normalising dbr:Singleton_set
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:Portal dbt:Cite_book dbt:Functions_navbox dbt:Formal_semantics dbt:Mathematical_logic dbt:= dbt:Anchor dbt:Authority_control dbt:Citation dbt:Cite_journal dbt:Colbegin dbt:Colend dbt:Efn dbt:Further dbt:Isbn dbt:Math dbt:Mono dbt:Mset dbt:Mvar dbt:Notelist dbt:Reflist dbt:Rp dbt:See_also dbt:Short_description dbt:Smalldiv dbt:Springer dbt:Webarchive dbt:Commons_category dbt:Alonzo_Church
dct:subject	dbc:Computability_theory dbc:Articles_with_example_Lisp_(programming_language)_code dbc:Articles_with_example_Python_(programming_language)_code dbc:1936_in_computing dbc:Lambda_calculus dbc:Theoretical_computer_science dbc:Programming_language_comparisons dbc:Formal_methods dbc:Models_of_computation
gold:hypernym	dbr:System
rdf:type	owl:Thing owl:Thing
rdfs:label	Lambda calculus (en) Lambda kalkul (cs) Càlcul lambda (ca) Λογισμός λάμδα (el) Lambda-kalkulo (eo) تكامل لامدا (ar) 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-de:Lambda calculus dbpedia-es:Lambda calculus dbpedia-it:Lambda calculus dbpedia-nl:Lambda calculus dbpedia-pl:Lambda calculus dbpedia-tr:Lambda calculus dbpedia-fr:Lambda calculus dbpedia-da:Lambda calculus dbpedia-he:Lambda calculus dbpedia-hu:Lambda calculus dbpedia-ja:Lambda calculus dbpedia-pt:Lambda calculus dbpedia-ru:Lambda calculus dbpedia-zh:Lambda calculus dbpedia-sv:Lambda calculus dbpedia-vi:Lambda calculus dbpedia-el:Lambda calculus dbpedia-ko:Lambda calculus dbpedia-ca:Lambda calculus dbpedia-et: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-fa: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
prov:wasDerivedFrom	wikipedia-en:Lambda_calculus?oldid=1309164302&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:Capture-avoiding_substitution dbr:A_conversion dbr:Abstraction_operator dbr:Lambda_expressions dbr:Untyped_lambda_calculus dbr:Eta_conversion dbr:Beta_reduction dbr:Beta-reduction dbr:Beta_conversion dbr:Beta_substitution dbr:Lambda_abstraction dbr:B-reduction dbr:Alpha-conversion dbr:Alpha-renaming dbr:AlphaRenaming dbr:Alpha_conversion dbr:Alpha_equivalence dbr:Alpha_equivalent dbr:Alpha_reduction dbr:Alpha_renaming 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:Functional_abstraction dbr:Anonymous_function_abstraction dbr:L-calculus dbr:L_calculus dbr:Eta-conversion dbr:Eta-reduction dbr:Eta_expansion dbr:Eta_reduction dbr:Type-free_lambda_calculus dbr:Type_free_lambda_calculus dbr:Typefree_lambda_calculus dbr:Α-conversion dbr:Α_conversion dbr:Β-reduction dbr:Η-conversion dbr:Η_conversion dbr:Λ-abstraction dbr:Λ-calculus dbr:Λ_calculus dbr:Λa-calculus dbr:Λx dbr:Λy dbr:Λz
is dbo:wikiPageWikiLink of	dbr:Rho_calculus dbr:Capture-avoiding_substitution dbr:Generalized_quantifier dbr:History_of_the_Scheme_programming_language dbr:History_of_the_function_concept dbr:History_of_topos_theory dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Henk_Barendregt dbr:Richard_Statman dbr:Semantic_gap dbr:S-expression dbr:Process_calculus dbr:Computability dbr:List_of_University_of_California,_Los_Angeles_people dbr:Arity dbr:List_of_undecidable_problems dbr:List_of_computer_scientists dbr:Value-level_programming dbr:Metamath dbr:Eval dbr:List_of_theorems dbr:Stratification_(mathematics) dbr:Lambda-mu_calculus dbr:Lambda_expression dbr:Lambda_lifting dbr:List_of_programming_language_researchers dbr:A_conversion dbr:Abstraction_operator dbr:Category_theory dbr:Montague_grammar dbr:Juxtaposition dbr:Word_problem_(mathematics) dbr:Function_space dbr:Amalgamation_property dbr:Computable_function dbr:Deduction_theorem dbr:Inline_expansion dbr:List_of_incomplete_proofs dbr:Software_patent_debate dbr:Spyce_(software) dbr:Function_composition_(computer_science) dbr:Name_resolution_(programming_languages) dbr:Alan_Turing dbr:Algorithm dbr:Alonzo_Church dbr:C++ dbr:Calculus dbr:Eiffel_(programming_language) dbr:F_Sharp_(programming_language) dbr:Function_(mathematics) dbr:Grammar dbr:Lisp_(programming_language) dbr:Logic dbr:ML_(programming_language) dbr:Mathematical_logic dbr:Scheme_(programming_language) dbr:Theoretical_computer_science dbr:Turing_machine dbr:Formal_system dbr:Scratch_(programming_language) dbr:Computation dbr:Monad_(functional_programming) dbr:AngularJS dbr:Closure_(computer_programming) dbr:Krivine_machine dbr:Minimalism_(computing) dbr:Reduction_strategy dbr:Computational_complexity_theory dbr:Eta dbr:John_McCarthy_(computer_scientist) dbr:Lambda dbr:APL_(programming_language) dbr:Definite_description dbr:FP_(programming_language) dbr:ISWIM dbr:Metamathematics dbr:Russell's_paradox dbr:Type_theory dbr:Modal_μ-calculus dbr:Mogensen–Scott_encoding dbr:Semantics_(computer_science) dbr:Variable_(mathematics) dbr:Corrado_Böhm dbr:Logtalk dbr:Function_composition dbr:Hans_Kamp dbr:Gérard_Berry dbr:Hindley–Milner_type_system dbr:Focus_(linguistics) dbr:Polymorphism_(computer_science) dbr:ΛProlog dbr:Calculus_(disambiguation) dbr:Anonymous_function dbr:Expression_(mathematics) dbr:Communication_with_extraterrestrial_intelligence dbr:Audrey_Bates_(programmer) dbr:Higher-order_function dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:Unlambda dbr:Joy_(programming_language) dbr:Snap!_(programming_language) dbr:Laws_of_Form dbr:Pregroup_grammar dbr:Halting_problem dbr:Type_system dbr:Combinatory_logic dbr:Computer_program dbr:Currying dbr:Haskell_Curry dbr:Moses_Schönfinkel dbr:Natural_deduction dbr:Free_variables_and_bound_variables dbr:Mariangiola_Dezani-Ciancaglini dbr:Abstract_rewriting_system dbr:Parameter dbr:General_recursive_function dbr:Iota_and_Jot dbr:Applicative_universal_grammar dbr:Apply dbr:Daniel_P._Friedman dbr:Homotopy_type_theory dbr:Timeline_of_United_States_inventions_(1890–1945) dbr:SKI_combinator_calculus dbr:Wikifunctions dbr:Grigore_Roșu dbr:Kleene's_recursion_theorem dbr:Typed_lambda_calculus dbr:Evaluation_strategy dbr:Fixed-point_combinator dbr:Actor_model dbr:B,_C,_K,_W_system dbr:Church_encoding dbr:Church–Rosser_theorem dbr:Church–Turing_thesis dbr:Computational_complexity dbr:Curry's_paradox dbr:Curry–Howard_correspondence dbr:Entscheidungsproblem dbr:Function-level_programming dbr:Functional_programming dbr:Gordon_Plotkin dbr:Harry_Mairson dbr:J._Barkley_Rosser dbr:John_Backus dbr:MATLAB dbr:Model_of_computation dbr:Peter_Landin dbr:SECD_machine dbr:Scott–Curry_theorem dbr:Simply_typed_lambda_calculus dbr:Stephen_Cole_Kleene dbr:Syntactic_sugar dbr:Z_notation dbr:Π-calculus dbr:Abstraction_(computer_science) dbr:Polish_notation dbr:Predicate_functor_logic dbr:List_of_pioneers_in_computer_science dbr:Computable_number dbr:Conditional_(computer_programming) dbr:Turing_completeness dbr:Confluence_(abstract_rewriting) dbr:Pico_(programming_language) dbr:Planning_Domain_Definition_Language dbr:Samson_Abramsky dbr:To_Mock_a_Mockingbird dbr:Substitution_(logic) dbr:List_of_educational_programming_languages dbr:Montgomery_Blair_High_School dbr:Continuation dbr:Cons dbr:Quantum_programming dbr:Unary_numeral_system dbr:Vienna_Summer_of_Logic dbr:Lambda_(disambiguation) dbr:Pure_function dbr:Beta_normal_form dbr:Explicit_substitution dbr:ALGOL dbr:OCaml dbr:Matthias_Felleisen dbr:Unrestricted_grammar dbr:Reification_(computer_science) dbr:Funarg_problem dbr:Lambda_function dbr:Post–Turing_machine dbr:Helmut_Schwichtenberg dbr:Iterated_function dbr:Essentials_of_Programming_Languages dbr:Lazy_evaluation dbr:Parameter_(computer_programming) dbr:Computable_topology dbr:Unification_(computer_science) dbr:Max_Newman dbr:Categorial_grammar dbr:Garbage_collection_(computer_science) dbr:Theory_of_computation dbr:Domain_theory dbr:Operational_semantics dbr:Unbounded_nondeterminism dbr:Logic_programming dbr:Programming_language_theory dbr:Geometry_of_interaction dbr:Correctness_(computer_science) dbr:Comparison_of_command_shells dbr:Normal_form_(abstract_rewriting) dbr:Knights_of_the_Lambda_Calculus dbr:Kleene–Rosser_paradox dbr:De_Bruijn_index dbr:History_of_programming_languages dbr:History_of_artificial_intelligence dbr:Ambient_calculus dbr:Interaction_nets dbr:Combinatory_categorial_grammar dbr:Index_of_computing_articles dbr:Timeline_of_mathematics dbr:Continuation-passing_style dbr:Tim_Teitelbaum dbr:Non-structured_programming dbr:P-complete dbr:Semantic_parsing dbr:Region-based_memory_management dbr:List_of_formal_systems dbr:Canonical_form dbr:Knowledge_representation_and_reasoning dbr:Xtend dbr:Algorithm_characterizations dbr:Böhm_tree dbr:Cylindric_algebra dbr:Fexpr dbr:Function_application dbr:List_of_computability_and_complexity_topics dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Supercombinator dbr:Applicative_computing_systems dbr:Blocks_(C_language_extension) dbr:Divergence_(computer_science) dbr:Director_string dbr:Outline_of_logic dbr:Higher-order_abstract_syntax dbr:Higher-order_programming dbr:Index_of_philosophy_articles_(I–Q) dbr:Turing_machine_equivalents dbr:Completeness_of_atomic_initial_sequents dbr:Pattern_calculus dbr:Timeline_of_category_theory_and_related_mathematics dbr:Substitution_(algebra) dbr:History_of_the_Actor_model dbr:Church_(surname) dbr:Kappa_calculus dbr:Let_expression dbr:Narrowing_of_algebraic_value_sets dbr:Denotational_semantics_of_the_Actor_model dbr:Lambda_expressions dbr:Plessey_System_250 dbr:Twelf dbr:Nominal_terms_(computer_science) dbr:Normalisation_by_evaluation dbr:Anonymous_recursion dbr:Deductive_lambda_calculus dbr:Untyped_lambda_calculus dbr:Eta_conversion dbr:Syncategorematic_term dbr:Call-by-push-value dbr:Dynamic_syntax dbr:Actor_model_later_history dbr:Anti-unification_(computer_science) dbr:Creative_and_productive_sets dbr:CEK_Machine dbr:Barbara_Partee dbr:A++ dbr:Beta_reduction dbr:Procedural_parameter dbr:Timeline_of_mathematical_logic dbr:List_of_types_of_functions dbr:Indeterminacy_in_concurrent_computation dbr:Indirect_self-reference dbr:List_of_important_publications_in_computer_science dbr:Fixed-point_theorems dbr:Beta-reduction dbr:Beta_conversion dbr:Beta_substitution dbr:Lambda_abstraction dbr:Comparison_of_programming_paradigms dbr:List_of_letters_used_in_mathematics_and_science dbr:ARS-based_programming dbr:B-reduction dbr:Alpha-conversion dbr:Alpha-renaming dbr:AlphaRenaming dbr:Alpha_conversion dbr:Alpha_equivalence dbr:Alpha_equivalent dbr:Alpha_reduction dbr:Alpha_renaming dbr:Lambda-calculi dbr:Lambda-calculus dbr:Lambda-definable_function
is dbp:knownFor of	dbr:Alonzo_Church
is rdfs:seeAlso of	dbr:Scheme_(programming_language) dbr:Reduction_strategy
is foaf:primaryTopic of	wikipedia-en:Lambda_calculus