Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q17010046> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Q17010046 subject Q8581097.
- Q17010046 abstract "Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda calculus is as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal form. In this interpretation, if the expression never reduces to normal form then the program never terminates, and the value is undefined. Considered as a mathematical deductive system, each reduction would not alter the value of the expression. The expression would equal the reduction of the expression.".
- Q17010046 wikiPageWikiLink Q1089708.
- Q17010046 wikiPageWikiLink Q11205.
- Q17010046 wikiPageWikiLink Q1152398.
- Q17010046 wikiPageWikiLink Q126695.
- Q17010046 wikiPageWikiLink Q12916.
- Q17010046 wikiPageWikiLink Q1308502.
- Q17010046 wikiPageWikiLink Q1481571.
- Q17010046 wikiPageWikiLink Q1651704.
- Q17010046 wikiPageWikiLink Q17097187.
- Q17010046 wikiPageWikiLink Q173183.
- Q17010046 wikiPageWikiLink Q1756942.
- Q17010046 wikiPageWikiLink Q187959.
- Q17010046 wikiPageWikiLink Q1893717.
- Q17010046 wikiPageWikiLink Q193076.
- Q17010046 wikiPageWikiLink Q2110857.
- Q17010046 wikiPageWikiLink Q242028.
- Q17010046 wikiPageWikiLink Q2607208.
- Q17010046 wikiPageWikiLink Q2976255.
- Q17010046 wikiPageWikiLink Q309157.
- Q17010046 wikiPageWikiLink Q33401.
- Q17010046 wikiPageWikiLink Q395.
- Q17010046 wikiPageWikiLink Q4973304.
- Q17010046 wikiPageWikiLink Q6420095.
- Q17010046 wikiPageWikiLink Q649732.
- Q17010046 wikiPageWikiLink Q773483.
- Q17010046 wikiPageWikiLink Q77887.
- Q17010046 wikiPageWikiLink Q784645.
- Q17010046 wikiPageWikiLink Q83491.
- Q17010046 wikiPageWikiLink Q8581097.
- Q17010046 wikiPageWikiLink Q899616.
- Q17010046 wikiPageWikiLink Q92611.
- Q17010046 wikiPageWikiLink Q92741.
- Q17010046 wikiPageWikiLink Q935944.
- Q17010046 wikiPageWikiLink Q938185.
- Q17010046 wikiPageWikiLink Q965432.
- Q17010046 comment "Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda calculus is as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal form. In this interpretation, if the expression never reduces to normal form then the program never terminates, and the value is undefined.".
- Q17010046 label "Deductive lambda calculus".