About: Kappa calculus     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/84qRwTYGBR

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.

AttributesValues
rdfs:label
  • Kappa calculus (en)
  • Cálculo Kappa (pt)
rdfs: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. (en)
  • 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. (pt)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has 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. (en)
  • 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. (pt)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage disambiguates of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software