Kappa calculus
http://dbpedia.org/resource/Kappa_calculus
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.
rdf:langString
Em lógica matemática, teoria das categorias, eciência da computação, kappa cálculo é umsistema formal para a definição de funções de primeira ordem. Ao contrário do cálculo lambda, o cálculo kappa não temfunções de ordem superior; as suas funções não são objetos de primeira classe. Kappa-cálculo pode serconsiderado como "uma reformulação do fragmento de primeira-ordem do cálculo lambda tipado". Em razão do fato de que suas funções não são objetos de primeira classe, a avaliação de expressões de cálculo kappa não exige fechos.
rdf:langString
rdf:langString
Kappa calculus
rdf:langString
Cálculo Kappa
xsd:integer
33498023
xsd:integer
1099281735
rdf:langString
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.
rdf:langString
Em lógica matemática, teoria das categorias, eciência da computação, kappa cálculo é umsistema formal para a definição de funções de primeira ordem. Ao contrário do cálculo lambda, o cálculo kappa não temfunções de ordem superior; as suas funções não são objetos de primeira classe. Kappa-cálculo pode serconsiderado como "uma reformulação do fragmento de primeira-ordem do cálculo lambda tipado". Em razão do fato de que suas funções não são objetos de primeira classe, a avaliação de expressões de cálculo kappa não exige fechos.
xsd:nonNegativeInteger
12701