Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Deductive_lambda_calculus> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Deductive_lambda_calculus abstract "Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. Lambda calculus is defined as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal form. Considered as mathematics, each reduction would not alter the value of the expression. The expression would equal the reduction of the expression.".
- Deductive_lambda_calculus wikiPageID "41976836".
- Deductive_lambda_calculus wikiPageRevisionID "602823137".
- Deductive_lambda_calculus subject Category:Lambda_calculus.
- Deductive_lambda_calculus comment "Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. Lambda calculus is defined as a programming language where evaluation proceeds by performing reductions on an expression until it is in normal form. Considered as mathematics, each reduction would not alter the value of the expression. The expression would equal the reduction of the expression.".
- Deductive_lambda_calculus label "Deductive lambda calculus".
- Deductive_lambda_calculus sameAs m.0_s09rs.
- Deductive_lambda_calculus sameAs Q17010046.
- Deductive_lambda_calculus sameAs Q17010046.
- Deductive_lambda_calculus wasDerivedFrom Deductive_lambda_calculus?oldid=602823137.
- Deductive_lambda_calculus isPrimaryTopicOf Deductive_lambda_calculus.