Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016092099> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2016092099 abstract "Algebra and coalgebra are widely used to model data types in functional programming languages and proof assistants. Their use permits to better structure the computations and also to enhance the expressivity of a language or of a proof system. Interestingly, parametric polymorphism à la System F provides a way to encode algebras and coalgebras in strongly normalizing languages without losing the good logical properties of the calculus. Even if these encodings are sometimes unsatisfying because they provide only limited forms of algebras and coalgebras, they give insights on the expressivity of System F in terms of functions that we can program in it. With the goal of contributing to a better understanding of the expressivity of Implicit Computational Complexity systems, we study the problem of defining algebras and coalgebras in the Light Affine Lambda Calculus, a system characterizing the complexity class FPTIME. This system limits the computational complexity of programs but it also limits the ways we can use parametric polymorphism, and in general the way we can write our programs. We show here that while the restrictions imposed by the Light Affine Lambda Calculus pose some issues to the standard System F encodings, they still permit to encode some form of algebra and coalgebra. Using the algebra encoding one can define in the Light Affine Lambda Calculus the traditional inductive types. Unfortunately, the corresponding coalgebra encoding permits only a very limited form of coinductive data types. To extend this class we study an extension of the Light Affine Lambda Calculus by distributive laws for the modality §. This extension has been discussed but not studied before." @default.
- W2016092099 created "2016-06-24" @default.
- W2016092099 creator A5021948795 @default.
- W2016092099 creator A5051353259 @default.
- W2016092099 date "2015-08-29" @default.
- W2016092099 modified "2023-10-05" @default.
- W2016092099 title "Algebras and coalgebras in the light affine Lambda calculus" @default.
- W2016092099 cites W1545415328 @default.
- W2016092099 cites W1828615284 @default.
- W2016092099 cites W1969548989 @default.
- W2016092099 cites W1986952332 @default.
- W2016092099 cites W1998095216 @default.
- W2016092099 cites W2009621880 @default.
- W2016092099 cites W2019040320 @default.
- W2016092099 cites W2057183321 @default.
- W2016092099 cites W2064981447 @default.
- W2016092099 cites W2066952252 @default.
- W2016092099 cites W2069792094 @default.
- W2016092099 cites W2076030590 @default.
- W2016092099 cites W2091581695 @default.
- W2016092099 cites W2094867196 @default.
- W2016092099 cites W2100145014 @default.
- W2016092099 cites W2109174418 @default.
- W2016092099 cites W2133538984 @default.
- W2016092099 cites W2152839970 @default.
- W2016092099 cites W2169549344 @default.
- W2016092099 cites W2911562543 @default.
- W2016092099 cites W2911865844 @default.
- W2016092099 cites W2949928475 @default.
- W2016092099 cites W312307718 @default.
- W2016092099 cites W4245158255 @default.
- W2016092099 doi "https://doi.org/10.1145/2784731.2784759" @default.
- W2016092099 hasPublicationYear "2015" @default.
- W2016092099 type Work @default.
- W2016092099 sameAs 2016092099 @default.
- W2016092099 citedByCount "1" @default.
- W2016092099 countsByYear W20160920992022 @default.
- W2016092099 crossrefType "proceedings-article" @default.
- W2016092099 hasAuthorship W2016092099A5021948795 @default.
- W2016092099 hasAuthorship W2016092099A5051353259 @default.
- W2016092099 hasBestOaLocation W20160920992 @default.
- W2016092099 hasConcept C104317684 @default.
- W2016092099 hasConcept C118615104 @default.
- W2016092099 hasConcept C135790938 @default.
- W2016092099 hasConcept C136119220 @default.
- W2016092099 hasConcept C142156749 @default.
- W2016092099 hasConcept C154945302 @default.
- W2016092099 hasConcept C185592680 @default.
- W2016092099 hasConcept C202444582 @default.
- W2016092099 hasConcept C2777212361 @default.
- W2016092099 hasConcept C2778249326 @default.
- W2016092099 hasConcept C33923547 @default.
- W2016092099 hasConcept C41008148 @default.
- W2016092099 hasConcept C55493867 @default.
- W2016092099 hasConcept C61237538 @default.
- W2016092099 hasConcept C66746571 @default.
- W2016092099 hasConcept C92757383 @default.
- W2016092099 hasConceptScore W2016092099C104317684 @default.
- W2016092099 hasConceptScore W2016092099C118615104 @default.
- W2016092099 hasConceptScore W2016092099C135790938 @default.
- W2016092099 hasConceptScore W2016092099C136119220 @default.
- W2016092099 hasConceptScore W2016092099C142156749 @default.
- W2016092099 hasConceptScore W2016092099C154945302 @default.
- W2016092099 hasConceptScore W2016092099C185592680 @default.
- W2016092099 hasConceptScore W2016092099C202444582 @default.
- W2016092099 hasConceptScore W2016092099C2777212361 @default.
- W2016092099 hasConceptScore W2016092099C2778249326 @default.
- W2016092099 hasConceptScore W2016092099C33923547 @default.
- W2016092099 hasConceptScore W2016092099C41008148 @default.
- W2016092099 hasConceptScore W2016092099C55493867 @default.
- W2016092099 hasConceptScore W2016092099C61237538 @default.
- W2016092099 hasConceptScore W2016092099C66746571 @default.
- W2016092099 hasConceptScore W2016092099C92757383 @default.
- W2016092099 hasLocation W20160920991 @default.
- W2016092099 hasLocation W20160920992 @default.
- W2016092099 hasLocation W20160920993 @default.
- W2016092099 hasOpenAccess W2016092099 @default.
- W2016092099 hasPrimaryLocation W20160920991 @default.
- W2016092099 hasRelatedWork W1583714326 @default.
- W2016092099 hasRelatedWork W1968029549 @default.
- W2016092099 hasRelatedWork W1985218657 @default.
- W2016092099 hasRelatedWork W2153353244 @default.
- W2016092099 hasRelatedWork W2172192397 @default.
- W2016092099 hasRelatedWork W2754782259 @default.
- W2016092099 hasRelatedWork W3006649910 @default.
- W2016092099 hasRelatedWork W3123171335 @default.
- W2016092099 hasRelatedWork W3146610348 @default.
- W2016092099 hasRelatedWork W2761902706 @default.
- W2016092099 isParatext "false" @default.
- W2016092099 isRetracted "false" @default.
- W2016092099 magId "2016092099" @default.
- W2016092099 workType "article" @default.