Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569580059> ?p ?o ?g. }
- W1569580059 endingPage "77" @default.
- W1569580059 startingPage "3" @default.
- W1569580059 abstract "This chapter examines some aspects of categories in computer science. The close connections of certain closed categories with typed lambda calculi on one hand, and with the proof theory of various logics on the other are discussed. It cannot be overemphasized that modem computer science heavily uses formal syntax. The Curry-Howard isomorphism, which identifies formal proofs with lambda terms, hence with arrows in certain free categories, is the cornerstone of modem programming language semantics and simply cannot be overlooked. For many purposes in computer science, it is often useful to have categories with explicitly given strict structure along with strict functors. Cartesian closed categories (ccc's) equationally, in the spirit of multi-sorted universal algebra are presented. CCCs can themselves be made into a category in many ways. Lambda Calculus is an abstract theory of functions and the β-rule is the foundation of the lambda calculus, fundamental in programming language theory. The Formulas-as-Types view, sometimes called the “Curry-Howard isomorphism,” plays an increasingly influential role in the logical foundations of computing, especially in the foundations of functional programming languages." @default.
- W1569580059 created "2016-06-24" @default.
- W1569580059 creator A5057767023 @default.
- W1569580059 date "2000-01-01" @default.
- W1569580059 modified "2023-09-23" @default.
- W1569580059 title "Some aspects of categories in computer science" @default.
- W1569580059 cites W121082419 @default.
- W1569580059 cites W1507082320 @default.
- W1569580059 cites W1508224656 @default.
- W1569580059 cites W1514107022 @default.
- W1569580059 cites W1543071126 @default.
- W1569580059 cites W1573208177 @default.
- W1569580059 cites W1596682622 @default.
- W1569580059 cites W1765415708 @default.
- W1569580059 cites W1965297988 @default.
- W1569580059 cites W1968357837 @default.
- W1569580059 cites W1971256104 @default.
- W1569580059 cites W1973799895 @default.
- W1569580059 cites W1979324214 @default.
- W1569580059 cites W1981582150 @default.
- W1569580059 cites W1982733263 @default.
- W1569580059 cites W1985063546 @default.
- W1569580059 cites W1985185257 @default.
- W1569580059 cites W1988292549 @default.
- W1569580059 cites W1991895871 @default.
- W1569580059 cites W1992139964 @default.
- W1569580059 cites W1993205599 @default.
- W1569580059 cites W1996605832 @default.
- W1569580059 cites W1997143185 @default.
- W1569580059 cites W1999683854 @default.
- W1569580059 cites W2002241150 @default.
- W1569580059 cites W2007270285 @default.
- W1569580059 cites W2010407999 @default.
- W1569580059 cites W2012968289 @default.
- W1569580059 cites W2016135587 @default.
- W1569580059 cites W2018773995 @default.
- W1569580059 cites W2022595765 @default.
- W1569580059 cites W2024873396 @default.
- W1569580059 cites W2029971057 @default.
- W1569580059 cites W2031289370 @default.
- W1569580059 cites W2032017843 @default.
- W1569580059 cites W2034606068 @default.
- W1569580059 cites W2039112578 @default.
- W1569580059 cites W2039290601 @default.
- W1569580059 cites W2040587708 @default.
- W1569580059 cites W2041917765 @default.
- W1569580059 cites W2051110641 @default.
- W1569580059 cites W2052249237 @default.
- W1569580059 cites W2054969282 @default.
- W1569580059 cites W2055942509 @default.
- W1569580059 cites W2057113534 @default.
- W1569580059 cites W2060852846 @default.
- W1569580059 cites W2074070481 @default.
- W1569580059 cites W2075367647 @default.
- W1569580059 cites W2075380453 @default.
- W1569580059 cites W2078432227 @default.
- W1569580059 cites W2079171825 @default.
- W1569580059 cites W2081896452 @default.
- W1569580059 cites W2086061699 @default.
- W1569580059 cites W2088729555 @default.
- W1569580059 cites W2093111544 @default.
- W1569580059 cites W2094685149 @default.
- W1569580059 cites W2099628768 @default.
- W1569580059 cites W2099684400 @default.
- W1569580059 cites W2101416179 @default.
- W1569580059 cites W2102151984 @default.
- W1569580059 cites W2106458801 @default.
- W1569580059 cites W2109851385 @default.
- W1569580059 cites W2112970627 @default.
- W1569580059 cites W2114391968 @default.
- W1569580059 cites W2115617817 @default.
- W1569580059 cites W2119642422 @default.
- W1569580059 cites W2120950381 @default.
- W1569580059 cites W2127791900 @default.
- W1569580059 cites W2134089336 @default.
- W1569580059 cites W2135434676 @default.
- W1569580059 cites W2136376264 @default.
- W1569580059 cites W2144747140 @default.
- W1569580059 cites W2161023112 @default.
- W1569580059 cites W2166666657 @default.
- W1569580059 cites W2168025539 @default.
- W1569580059 cites W2911562543 @default.
- W1569580059 cites W2911865844 @default.
- W1569580059 cites W2914837968 @default.
- W1569580059 cites W3161688318 @default.
- W1569580059 cites W37089806 @default.
- W1569580059 cites W4210653864 @default.
- W1569580059 cites W4230069580 @default.
- W1569580059 cites W4234269419 @default.
- W1569580059 cites W4238560411 @default.
- W1569580059 cites W4240105968 @default.
- W1569580059 cites W4243711577 @default.
- W1569580059 cites W4244319969 @default.
- W1569580059 cites W4247998528 @default.
- W1569580059 doi "https://doi.org/10.1016/s1570-7954(00)80027-3" @default.
- W1569580059 hasPublicationYear "2000" @default.
- W1569580059 type Work @default.
- W1569580059 sameAs 1569580059 @default.