Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Deductive_lambda_calculus> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Deductive_lambda_calculus 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.".
- Deductive_lambda_calculus wikiPageID "41976836".
- Deductive_lambda_calculus wikiPageLength "23886".
- Deductive_lambda_calculus wikiPageOutDegree "54".
- Deductive_lambda_calculus wikiPageRevisionID "705759843".
- Deductive_lambda_calculus wikiPageWikiLink Alonzo_Church.
- Deductive_lambda_calculus wikiPageWikiLink Arithmetic.
- Deductive_lambda_calculus wikiPageWikiLink Boolean_algebra.
- Deductive_lambda_calculus wikiPageWikiLink Boolean_algebra_(structure).
- Deductive_lambda_calculus wikiPageWikiLink Canonical_form.
- Deductive_lambda_calculus wikiPageWikiLink Category:Lambda_calculus.
- Deductive_lambda_calculus wikiPageWikiLink Church_encoding.
- Deductive_lambda_calculus wikiPageWikiLink Church–Rosser_theorem.
- Deductive_lambda_calculus wikiPageWikiLink Church–Turing_thesis.
- Deductive_lambda_calculus wikiPageWikiLink Combinatory_logic.
- Deductive_lambda_calculus wikiPageWikiLink Currys_paradox.
- Deductive_lambda_calculus wikiPageWikiLink Distributive_property.
- Deductive_lambda_calculus wikiPageWikiLink Existential_quantification.
- Deductive_lambda_calculus wikiPageWikiLink Extensionality.
- Deductive_lambda_calculus wikiPageWikiLink Fixed-point_combinator.
- Deductive_lambda_calculus wikiPageWikiLink Formal_system.
- Deductive_lambda_calculus wikiPageWikiLink Free_variables_and_bound_variables.
- Deductive_lambda_calculus wikiPageWikiLink Functional_programming.
- Deductive_lambda_calculus wikiPageWikiLink Haskell_Curry.
- Deductive_lambda_calculus wikiPageWikiLink Kleene–Rosser_paradox.
- Deductive_lambda_calculus wikiPageWikiLink Lambda_calculus.
- Deductive_lambda_calculus wikiPageWikiLink Let_expression.
- Deductive_lambda_calculus wikiPageWikiLink Logical_disjunction.
- Deductive_lambda_calculus wikiPageWikiLink Mathematics.
- Deductive_lambda_calculus wikiPageWikiLink Partial_function.
- Deductive_lambda_calculus wikiPageWikiLink Principle_of_bivalence.
- Deductive_lambda_calculus wikiPageWikiLink Rationality.
- Deductive_lambda_calculus wikiPageWikiLink Real_number.
- Deductive_lambda_calculus wikiPageWikiLink Rices_theorem.
- Deductive_lambda_calculus wikiPageWikiLink Richards_paradox.
- Deductive_lambda_calculus wikiPageWikiLink Russells_paradox.
- Deductive_lambda_calculus wikiPageWikiLink Typed_lambda_calculus.
- Deductive_lambda_calculus wikiPageWikiLink Universal_instantiation.
- Deductive_lambda_calculus wikiPageWikiLink Universal_quantification.
- Deductive_lambda_calculus wikiPageWikiLink Von_Neumann_universe.
- Deductive_lambda_calculus wikiPageWikiLinkText "Deductive lambda calculus".
- Deductive_lambda_calculus wikiPageWikiLinkText "Eta reduction".
- Deductive_lambda_calculus wikiPageWikiLinkText "cardinality problems".
- Deductive_lambda_calculus wikiPageWikiLinkText "deductive lambda calculus".
- Deductive_lambda_calculus wikiPageWikiLinkText "eta reduction".
- Deductive_lambda_calculus wikiPageWikiLinkText "intensional equality".
- Deductive_lambda_calculus wikiPageWikiLinkText "intensional versus extensional equality".
- Deductive_lambda_calculus wikiPageWikiLinkText "lambda calculus domain".
- Deductive_lambda_calculus wikiPageWikiLinkText "own domain".
- Deductive_lambda_calculus wikiPageWikiLinkText "potential problems".
- Deductive_lambda_calculus wikiPageWikiLinkText "source of the inconsistency".
- Deductive_lambda_calculus wikiPageUsesTemplate Template:Reflist.
- 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. 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.".
- Deductive_lambda_calculus label "Deductive lambda calculus".
- Deductive_lambda_calculus sameAs Q17010046.
- Deductive_lambda_calculus sameAs m.0_s09rs.
- Deductive_lambda_calculus sameAs Q17010046.
- Deductive_lambda_calculus wasDerivedFrom Deductive_lambda_calculus?oldid=705759843.
- Deductive_lambda_calculus isPrimaryTopicOf Deductive_lambda_calculus.