Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lambda_calculus_definition> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Lambda_calculus_definition abstract "Formal definitions of the Lambda calculus. Lambda calculus is a programming language based on lambda abstraction and function application. Two definitions of the language are given here. Standard definition Definition using mathematical formulas.".
- Lambda_calculus_definition wikiPageID "44382704".
- Lambda_calculus_definition wikiPageLength "34500".
- Lambda_calculus_definition wikiPageOutDegree "23".
- Lambda_calculus_definition wikiPageRevisionID "698628708".
- Lambda_calculus_definition wikiPageWikiLink Alonzo_Church.
- Lambda_calculus_definition wikiPageWikiLink Automated_theorem_proving.
- Lambda_calculus_definition wikiPageWikiLink Beta_normal_form.
- Lambda_calculus_definition wikiPageWikiLink Category:Lambda_calculus.
- Lambda_calculus_definition wikiPageWikiLink Combinatory_logic.
- Lambda_calculus_definition wikiPageWikiLink Eager_evaluation.
- Lambda_calculus_definition wikiPageWikiLink Extensionality.
- Lambda_calculus_definition wikiPageWikiLink If_and_only_if.
- Lambda_calculus_definition wikiPageWikiLink Java_(programming_language).
- Lambda_calculus_definition wikiPageWikiLink Lambda_calculus.
- Lambda_calculus_definition wikiPageWikiLink Lazy_evaluation.
- Lambda_calculus_definition wikiPageWikiLink Miranda_(programming_language).
- Lambda_calculus_definition wikiPageWikiLink Name_resolution_(programming_languages).
- Lambda_calculus_definition wikiPageWikiLink Recursive_definition.
- Lambda_calculus_definition wikiPageWikiLink Regular_expression.
- Lambda_calculus_definition wikiPageWikiLink Scope_(computer_science).
- Lambda_calculus_definition wikiPageWikiLink Thunk.
- Lambda_calculus_definition wikiPageWikiLink Variable_shadowing.
- Lambda_calculus_definition wikiPageWikiLinkText "Lambda calculus definition".
- Lambda_calculus_definition wikiPageUsesTemplate Template:Details.
- Lambda_calculus_definition wikiPageUsesTemplate Template:Main.
- Lambda_calculus_definition wikiPageUsesTemplate Template:Reflist.
- Lambda_calculus_definition wikiPageUsesTemplate Template:Technical.
- Lambda_calculus_definition subject Category:Lambda_calculus.
- Lambda_calculus_definition comment "Formal definitions of the Lambda calculus. Lambda calculus is a programming language based on lambda abstraction and function application. Two definitions of the language are given here. Standard definition Definition using mathematical formulas.".
- Lambda_calculus_definition label "Lambda calculus definition".
- Lambda_calculus_definition sameAs m.0129c8lj.
- Lambda_calculus_definition wasDerivedFrom Lambda_calculus_definition?oldid=698628708.
- Lambda_calculus_definition isPrimaryTopicOf Lambda_calculus_definition.