Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kappa_calculus> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- Kappa_calculus abstract "In mathematical logic, category theory, andcomputer science, kappa calculus is aformal system for defining first-orderfunctions.Unlike lambda calculus, kappa calculus has nohigher-order functions; its functions arenot first class objects. Kappa-calculus can beregarded as "a reformulation of the first-order fragment of typedlambda calculus".Because its functions are not first-class objects, evaluation of kappacalculus expressions does not requireclosures.".
- Kappa_calculus wikiPageExternalLink 37180.
- Kappa_calculus wikiPageID "33498023".
- Kappa_calculus wikiPageLength "12673".
- Kappa_calculus wikiPageOutDegree "19".
- Kappa_calculus wikiPageRevisionID "678468444".
- Kappa_calculus wikiPageWikiLink Affine_logic.
- Kappa_calculus wikiPageWikiLink Arity.
- Kappa_calculus wikiPageWikiLink Arrow_(computer_science).
- Kappa_calculus wikiPageWikiLink Category:Logical_calculi.
- Kappa_calculus wikiPageWikiLink Category_theory.
- Kappa_calculus wikiPageWikiLink Closure_(computer_programming).
- Kappa_calculus wikiPageWikiLink Closure_(computer_science).
- Kappa_calculus wikiPageWikiLink Computer_science.
- Kappa_calculus wikiPageWikiLink First-class_citizen.
- Kappa_calculus wikiPageWikiLink First-class_object.
- Kappa_calculus wikiPageWikiLink First_order_functions.
- Kappa_calculus wikiPageWikiLink Formal_system.
- Kappa_calculus wikiPageWikiLink Function_(mathematics).
- Kappa_calculus wikiPageWikiLink Higher-order_function.
- Kappa_calculus wikiPageWikiLink Lambda_calculus.
- Kappa_calculus wikiPageWikiLink Linear_type_system.
- Kappa_calculus wikiPageWikiLink Mathematical_logic.
- Kappa_calculus wikiPageWikiLink Noncommutative_logic.
- Kappa_calculus wikiPageWikiLink Principal_type.
- Kappa_calculus wikiPageWikiLink Substructural_logic.
- Kappa_calculus wikiPageWikiLink Substructural_type_system.
- Kappa_calculus wikiPageWikiLink Unit_type.
- Kappa_calculus wikiPageWikiLinkText "Kappa calculus".
- Kappa_calculus hasPhotoCollection Kappa_calculus.
- Kappa_calculus wikiPageUsesTemplate Template:Reflist.
- Kappa_calculus subject Category:Logical_calculi.
- Kappa_calculus hypernym System.
- Kappa_calculus type Method.
- Kappa_calculus comment "In mathematical logic, category theory, andcomputer science, kappa calculus is aformal system for defining first-orderfunctions.Unlike lambda calculus, kappa calculus has nohigher-order functions; its functions arenot first class objects. Kappa-calculus can beregarded as "a reformulation of the first-order fragment of typedlambda calculus".Because its functions are not first-class objects, evaluation of kappacalculus expressions does not requireclosures.".
- Kappa_calculus label "Kappa calculus".
- Kappa_calculus sameAs m.0h94f6t.
- Kappa_calculus sameAs Q17092977.
- Kappa_calculus sameAs Q17092977.
- Kappa_calculus wasDerivedFrom Kappa_calculus?oldid=678468444.
- Kappa_calculus isPrimaryTopicOf Kappa_calculus.