About: Deductive lambda calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Let_expression dbr:Church–Rosser_theorem dbr:Functional_programming dbc:Lambda_calculus dbr:Lambda_calculus dbr:Arithmetic dbr:Real_number dbr:Universal_quantification dbr:Fixed-point_combinator dbr:Richard's_paradox dbr:Church_encoding dbr:Typed_lambda_calculus dbr:Deductive_system dbr:Curry's_paradox dbr:Canonical_form dbr:Mathematics dbr:Combinatory_logic dbr:Boolean_algebra_(structure) dbr:Extensionality dbr:Alonzo_Church dbr:Haskell_Curry dbr:Distributive_property dbr:Boolean_algebra dbr:Kleene–Rosser_paradox dbr:Universal_instantiation dbr:Beta_reduction dbr:Omega-rule dbr:Church-Turing_thesis dbr:Rational
rdfs:label	Deductive lambda calculus (en)
owl:sameAs	freebase:Deductive lambda calculus wikidata:Deductive lambda calculus dbpedia-global:Deductive lambda calculus
prov:wasDerivedFrom	wikipedia-en:Deductive_lambda_calculus?oldid=1208807041&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Deductive_lambda_calculus
is dbo:wikiPageWikiLink of	dbr:Let_expression dbr:Narrowing_of_algebraic_value_sets dbr:Lambda_calculus dbr:Fixed-point_combinator dbr:Church_encoding dbr:Curry's_paradox dbr:Lambda_lifting
is foaf:primaryTopic of	wikipedia-en:Deductive_lambda_calculus

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International