Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kappa_calculus> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items 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 wikiPageRevisionID "604429225".
- Kappa_calculus hasPhotoCollection Kappa_calculus.
- Kappa_calculus subject Category:Logical_calculi.
- 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=604429225.
- Kappa_calculus isPrimaryTopicOf Kappa_calculus.