SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1548937366> ?p ?o ?g. }

Showing items 1 to 100 of ±134 with 100 items per page.

W1548937366 abstract "Category theory is a field that impinges more and more frequently on the awareness of many computer scientists, especially those with an interest in programming languages and formal specifications. But there is still disagreement as to the real significance of category theory, even among specialists in these areas. Some dismiss it as abstract nonsense, whereas for others it has become an important tool. Worse yet for the uninitiated, there are only a few introductory textbooks on the subject—and none of them are easy reading. Although the category theory literature is more accessible than it was a few years ago, there is still no good way to get an impression with only a modest amount of effort. This paper is an introduction to the introductions to category theory—a brief answer to the questions, What is category theory? What are computer scientists using it for? What are the basic concepts? Where can I learn more? The first section aims to ground the reader in the most common categorical terms and idioms, assuming as little specific mathematical background as possible. The second section presents four case studies from the recent research literature applying category theory to the semantics of computation. A reading list at the end of the paper suggests pathways into the existing literature—including textbooks, standard reference works, and a sampling of important research papers." @default.
W1548937366 created "2016-06-24" @default.
W1548937366 creator A5085361253 @default.
W1548937366 date "1988-01-01" @default.
W1548937366 modified "2023-09-26" @default.
W1548937366 title "A taste of category theory for computer scientists" @default.
W1548937366 cites W1457329112 @default.
W1548937366 cites W1483105844 @default.
W1548937366 cites W1487667540 @default.
W1548937366 cites W1493216323 @default.
W1548937366 cites W1502490119 @default.
W1548937366 cites W1505296242 @default.
W1548937366 cites W1508224656 @default.
W1548937366 cites W1514119099 @default.
W1548937366 cites W1519382205 @default.
W1548937366 cites W1527264439 @default.
W1548937366 cites W1532487911 @default.
W1548937366 cites W1541120191 @default.
W1548937366 cites W1544564247 @default.
W1548937366 cites W1546025443 @default.
W1548937366 cites W1549406551 @default.
W1548937366 cites W1554884006 @default.
W1548937366 cites W1563218161 @default.
W1548937366 cites W1574009799 @default.
W1548937366 cites W1580648567 @default.
W1548937366 cites W1582555793 @default.
W1548937366 cites W1590364596 @default.
W1548937366 cites W1592287058 @default.
W1548937366 cites W1594475705 @default.
W1548937366 cites W1594841668 @default.
W1548937366 cites W1602553752 @default.
W1548937366 cites W1605238695 @default.
W1548937366 cites W172045991 @default.
W1548937366 cites W180967188 @default.
W1548937366 cites W1840966633 @default.
W1548937366 cites W1847330824 @default.
W1548937366 cites W1978840985 @default.
W1548937366 cites W1996454832 @default.
W1548937366 cites W2002241150 @default.
W1548937366 cites W2004736333 @default.
W1548937366 cites W2006716320 @default.
W1548937366 cites W2022720383 @default.
W1548937366 cites W2024873396 @default.
W1548937366 cites W2049362364 @default.
W1548937366 cites W2060319355 @default.
W1548937366 cites W2061786858 @default.
W1548937366 cites W2062024564 @default.
W1548937366 cites W2065392090 @default.
W1548937366 cites W2068599721 @default.
W1548937366 cites W2073030937 @default.
W1548937366 cites W2080801189 @default.
W1548937366 cites W2088862781 @default.
W1548937366 cites W2090849386 @default.
W1548937366 cites W21022184 @default.
W1548937366 cites W2107674601 @default.
W1548937366 cites W2111304450 @default.
W1548937366 cites W2120713972 @default.
W1548937366 cites W2150690980 @default.
W1548937366 cites W2176656321 @default.
W1548937366 cites W2208280833 @default.
W1548937366 cites W2230759561 @default.
W1548937366 cites W2313175711 @default.
W1548937366 cites W2333333255 @default.
W1548937366 cites W2510837169 @default.
W1548937366 cites W2785559913 @default.
W1548937366 cites W2798613517 @default.
W1548937366 cites W3127823229 @default.
W1548937366 cites W561395332 @default.
W1548937366 cites W583126019 @default.
W1548937366 cites W81214682 @default.
W1548937366 cites W1905573436 @default.
W1548937366 hasPublicationYear "1988" @default.
W1548937366 type Work @default.
W1548937366 sameAs 1548937366 @default.
W1548937366 citedByCount "10" @default.
W1548937366 countsByYear W15489373662017 @default.
W1548937366 countsByYear W15489373662020 @default.
W1548937366 crossrefType "journal-article" @default.
W1548937366 hasAuthorship W1548937366A5085361253 @default.
W1548937366 hasConcept C111472728 @default.
W1548937366 hasConcept C111919701 @default.
W1548937366 hasConcept C119857082 @default.
W1548937366 hasConcept C138885662 @default.
W1548937366 hasConcept C161191863 @default.
W1548937366 hasConcept C202444582 @default.
W1548937366 hasConcept C2777855551 @default.
W1548937366 hasConcept C2780129039 @default.
W1548937366 hasConcept C33923547 @default.
W1548937366 hasConcept C41008148 @default.
W1548937366 hasConcept C41895202 @default.
W1548937366 hasConcept C5274069 @default.
W1548937366 hasConcept C554936623 @default.
W1548937366 hasConcept C9652623 @default.
W1548937366 hasConceptScore W1548937366C111472728 @default.
W1548937366 hasConceptScore W1548937366C111919701 @default.
W1548937366 hasConceptScore W1548937366C119857082 @default.
W1548937366 hasConceptScore W1548937366C138885662 @default.
W1548937366 hasConceptScore W1548937366C161191863 @default.
W1548937366 hasConceptScore W1548937366C202444582 @default.
W1548937366 hasConceptScore W1548937366C2777855551 @default.