DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lambda_calculus> ?p ?o }

• Lambda_calculus abstract "Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It was first introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. Lambda calculus is a universal model of computation equivalent to a Turing machine (Church-Turing thesis, 1937). Its namesake, Greek letter lambda (λ), is used in lambda terms (also called lambda expressions) to denote binding a variable in a function.Lambda calculus may be typed and untyped. In typed lambda calculus functions can be applied only if they are capable of accepting the given input's \"type\" of data.Lambda calculus has applications in many different areas in mathematics, philosophy, linguistics, and computer science. Lambda calculus has played an important role in the development of the theory of programming languages. Functional programming languages implement the lambda calculus. Lambda calculus also is a current research topic in Category theory.".
• Lambda_calculus wikiPageExternalLink wage2008.pdf.
• Lambda_calculus wikiPageExternalLink Lambda.
• Lambda_calculus wikiPageExternalLink church.pdf.
• Lambda_calculus wikiPageExternalLink graphic_revised.pdf.
• Lambda_calculus wikiPageExternalLink lc.html.
• Lambda_calculus wikiPageExternalLink lci.sourceforge.net.
• Lambda_calculus wikiPageExternalLink c++-template-meta-programming-with-lambda-calculus.
• Lambda_calculus wikiPageExternalLink citation.cfm?id=363749&coll=portal&dl=ACM.
• Lambda_calculus wikiPageExternalLink lambda-animator.
• Lambda_calculus wikiPageExternalLink lambda_calculus_timeline.pdf.
• Lambda_calculus wikiPageExternalLink AlligatorEggs.
• Lambda_calculus wikiPageExternalLink JRHHislamWeb.pdf.
• Lambda_calculus wikiPageExternalLink Examples.
• Lambda_calculus wikiPageExternalLink lambda-calculus.pdf.
• Lambda_calculus wikiPageExternalLink lcalculus.pdf.
• Lambda_calculus wikiPageExternalLink geuvers.pdf.
• Lambda_calculus wikiPageExternalLink lambda-calculi.
• Lambda_calculus wikiPageExternalLink lambda.pdf.
• Lambda_calculus wikiPageExternalLink lambda.html.
• Lambda_calculus wikiPageExternalLink lcalconl.html.
• Lambda_calculus wikiPageExternalLink lambdanotes.
• Lambda_calculus wikiPageExternalLink www.safalra.com.
• Lambda_calculus wikiPageExternalLink lambda-calculus.
• Lambda_calculus wikiPageExternalLink 27nk266126k817gq.
• Lambda_calculus wikiPageID "18203".
• Lambda_calculus wikiPageLength "63157".
• Lambda_calculus wikiPageOutDegree "190".
• Lambda_calculus wikiPageRevisionID "707689437".
• Lambda_calculus wikiPageWikiLink Abstraction_(computer_science).
• Lambda_calculus wikiPageWikiLink Alonzo_Church.
• Lambda_calculus wikiPageWikiLink American_Journal_of_Mathematics.
• Lambda_calculus wikiPageWikiLink Applicative_computing_systems.
• Lambda_calculus wikiPageWikiLink Argument.
• Lambda_calculus wikiPageWikiLink Arithmetic.
• Lambda_calculus wikiPageWikiLink Automated_theorem_proving.
• Lambda_calculus wikiPageWikiLink Big_O_notation.
• Lambda_calculus wikiPageWikiLink Binary_lambda_calculus.
• Lambda_calculus wikiPageWikiLink C++11.
• Lambda_calculus wikiPageWikiLink C_(programming_language).
• Lambda_calculus wikiPageWikiLink C_Sharp_(programming_language).
• Lambda_calculus wikiPageWikiLink Calculus_of_constructions.
• Lambda_calculus wikiPageWikiLink Cardinality.
• Lambda_calculus wikiPageWikiLink Cartesian_closed_category.
• Lambda_calculus wikiPageWikiLink Categorical_abstract_machine.
• Lambda_calculus wikiPageWikiLink Categorical_logic.
• Lambda_calculus wikiPageWikiLink Category:1936_in_computer_science.
• Lambda_calculus wikiPageWikiLink Category:American_inventions.
• Lambda_calculus wikiPageWikiLink Category:Articles_with_example_code.
• Lambda_calculus wikiPageWikiLink Category:Computability_theory.
• Lambda_calculus wikiPageWikiLink Category:Formal_methods.
• Lambda_calculus wikiPageWikiLink Category:Lambda_calculus.
• Lambda_calculus wikiPageWikiLink Category:Models_of_computation.
• Lambda_calculus wikiPageWikiLink Category:Theoretical_computer_science.
• Lambda_calculus wikiPageWikiLink Category_theory.
• Lambda_calculus wikiPageWikiLink Change_of_variables.
• Lambda_calculus wikiPageWikiLink Church_encoding.
• Lambda_calculus wikiPageWikiLink Church–Rosser_theorem.
• Lambda_calculus wikiPageWikiLink Church–Turing_thesis.
• Lambda_calculus wikiPageWikiLink Classical_logic.
• Lambda_calculus wikiPageWikiLink Combinatory_logic.
• Lambda_calculus wikiPageWikiLink Communications_of_the_ACM.
• Lambda_calculus wikiPageWikiLink Computability.
• Lambda_calculus wikiPageWikiLink Computable_function.
• Lambda_calculus wikiPageWikiLink Computational_complexity_theory.
• Lambda_calculus wikiPageWikiLink Confluence_(abstract_rewriting).
• Lambda_calculus wikiPageWikiLink Consistency.
• Lambda_calculus wikiPageWikiLink Currying.
• Lambda_calculus wikiPageWikiLink Curry–Howard_correspondence.
• Lambda_calculus wikiPageWikiLink Dana_Scott.
• Lambda_calculus wikiPageWikiLink De_Bruijn_index.
• Lambda_calculus wikiPageWikiLink Deductive_lambda_calculus.
• Lambda_calculus wikiPageWikiLink Denotational_semantics.
• Lambda_calculus wikiPageWikiLink Director_string.
• Lambda_calculus wikiPageWikiLink Distributed_computing.
• Lambda_calculus wikiPageWikiLink Domain_theory.
• Lambda_calculus wikiPageWikiLink Eager_evaluation.
• Lambda_calculus wikiPageWikiLink Eiffel_(programming_language).
• Lambda_calculus wikiPageWikiLink Esoteric_programming_language.
• Lambda_calculus wikiPageWikiLink Evaluation_strategy.
• Lambda_calculus wikiPageWikiLink Explicit_substitution.
• Lambda_calculus wikiPageWikiLink Exponentiation.
• Lambda_calculus wikiPageWikiLink Extensionality.
• Lambda_calculus wikiPageWikiLink Factorial.
• Lambda_calculus wikiPageWikiLink First-class_citizen.
• Lambda_calculus wikiPageWikiLink First-class_function.
• Lambda_calculus wikiPageWikiLink Formal_system.
• Lambda_calculus wikiPageWikiLink Formalism_(mathematics).
• Lambda_calculus wikiPageWikiLink Foundations_of_mathematics.
• Lambda_calculus wikiPageWikiLink Free_On-line_Dictionary_of_Computing.
• Lambda_calculus wikiPageWikiLink Free_variables_and_bound_variables.
• Lambda_calculus wikiPageWikiLink Function_application.
• Lambda_calculus wikiPageWikiLink Function_pointer.
• Lambda_calculus wikiPageWikiLink Functional_programming.
• Lambda_calculus wikiPageWikiLink Futures_and_promises.
• Lambda_calculus wikiPageWikiLink Graph_reduction.
• Lambda_calculus wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• Lambda_calculus wikiPageWikiLink Gödel_numbering.
• Lambda_calculus wikiPageWikiLink Hacker_culture.
• Lambda_calculus wikiPageWikiLink Harrop_formula.

• next