FRINK Linked Data Fragments server

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

• W2034807570 abstract "We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type class mechanism, and we describe constructions of types of finite and infinite trees that establish the conservativity of datatype and process type declarations adhering to certain reasonable formats. The latter amounts to modifying known constructions from HOL to avoid unique choice; in categorical terminology, this means that we establish that quasitoposes with an internal natural numbers object support initial algebras and final coalgebras for a range of polynomial functors, thereby partially generalising corresponding results from topos theory. Moreover, we present similar constructions in categories of internal complete partial orders in quasitoposes." @default.
• W2034807570 created "2016-06-24" @default.
• W2034807570 creator A5073765060 @default.
• W2034807570 date "2008-12-25" @default.
• W2034807570 modified "2023-09-23" @default.
• W2034807570 title "Bootstrapping Inductive and Coinductive Types in HasCASL" @default.
• W2034807570 cites W100575602 @default.
• W2034807570 cites W127839926 @default.
• W2034807570 cites W1513197291 @default.
• W2034807570 cites W1515094747 @default.
• W2034807570 cites W1518524165 @default.
• W2034807570 cites W1538724214 @default.
• W2034807570 cites W1548553503 @default.
• W2034807570 cites W1561339221 @default.
• W2034807570 cites W1567910670 @default.
• W2034807570 cites W159715351 @default.
• W2034807570 cites W1603377159 @default.
• W2034807570 cites W1647005630 @default.
• W2034807570 cites W1836508668 @default.
• W2034807570 cites W1968724907 @default.
• W2034807570 cites W1969481252 @default.
• W2034807570 cites W1983016533 @default.
• W2034807570 cites W1983905931 @default.
• W2034807570 cites W1989984154 @default.
• W2034807570 cites W1990347565 @default.
• W2034807570 cites W2018103337 @default.
• W2034807570 cites W2032698723 @default.
• W2034807570 cites W2049362364 @default.
• W2034807570 cites W2053068669 @default.
• W2034807570 cites W2058162377 @default.
• W2034807570 cites W2088027070 @default.
• W2034807570 cites W2106192381 @default.
• W2034807570 cites W2129099885 @default.
• W2034807570 cites W2138104876 @default.
• W2034807570 cites W2145253149 @default.
• W2034807570 cites W2492089900 @default.
• W2034807570 cites W2913121525 @default.
• W2034807570 cites W2913347770 @default.
• W2034807570 cites W45266662 @default.
• W2034807570 cites W2481387687 @default.
• W2034807570 doi "https://doi.org/10.2168/lmcs-4(4:17)2008" @default.
• W2034807570 hasPublicationYear "2008" @default.
• W2034807570 type Work @default.
• W2034807570 sameAs 2034807570 @default.
• W2034807570 citedByCount "2" @default.
• W2034807570 countsByYear W20348075702012 @default.
• W2034807570 countsByYear W20348075702023 @default.
• W2034807570 crossrefType "journal-article" @default.
• W2034807570 hasAuthorship W2034807570A5073765060 @default.
• W2034807570 hasBestOaLocation W20348075701 @default.
• W2034807570 hasConcept C108710211 @default.
• W2034807570 hasConcept C118615104 @default.
• W2034807570 hasConcept C119857082 @default.
• W2034807570 hasConcept C124952713 @default.
• W2034807570 hasConcept C136119220 @default.
• W2034807570 hasConcept C142362112 @default.
• W2034807570 hasConcept C154945302 @default.
• W2034807570 hasConcept C156772000 @default.
• W2034807570 hasConcept C17435882 @default.
• W2034807570 hasConcept C182141236 @default.
• W2034807570 hasConcept C18903297 @default.
• W2034807570 hasConcept C199360897 @default.
• W2034807570 hasConcept C202444582 @default.
• W2034807570 hasConcept C2524010 @default.
• W2034807570 hasConcept C2777212361 @default.
• W2034807570 hasConcept C2777299769 @default.
• W2034807570 hasConcept C2781238097 @default.
• W2034807570 hasConcept C33923547 @default.
• W2034807570 hasConcept C40220748 @default.
• W2034807570 hasConcept C41008148 @default.
• W2034807570 hasConcept C5274069 @default.
• W2034807570 hasConcept C80444323 @default.
• W2034807570 hasConcept C86803240 @default.
• W2034807570 hasConcept C93682546 @default.
• W2034807570 hasConceptScore W2034807570C108710211 @default.
• W2034807570 hasConceptScore W2034807570C118615104 @default.
• W2034807570 hasConceptScore W2034807570C119857082 @default.
• W2034807570 hasConceptScore W2034807570C124952713 @default.
• W2034807570 hasConceptScore W2034807570C136119220 @default.
• W2034807570 hasConceptScore W2034807570C142362112 @default.
• W2034807570 hasConceptScore W2034807570C154945302 @default.
• W2034807570 hasConceptScore W2034807570C156772000 @default.
• W2034807570 hasConceptScore W2034807570C17435882 @default.
• W2034807570 hasConceptScore W2034807570C182141236 @default.
• W2034807570 hasConceptScore W2034807570C18903297 @default.
• W2034807570 hasConceptScore W2034807570C199360897 @default.
• W2034807570 hasConceptScore W2034807570C202444582 @default.
• W2034807570 hasConceptScore W2034807570C2524010 @default.
• W2034807570 hasConceptScore W2034807570C2777212361 @default.
• W2034807570 hasConceptScore W2034807570C2777299769 @default.
• W2034807570 hasConceptScore W2034807570C2781238097 @default.
• W2034807570 hasConceptScore W2034807570C33923547 @default.
• W2034807570 hasConceptScore W2034807570C40220748 @default.
• W2034807570 hasConceptScore W2034807570C41008148 @default.
• W2034807570 hasConceptScore W2034807570C5274069 @default.
• W2034807570 hasConceptScore W2034807570C80444323 @default.
• W2034807570 hasConceptScore W2034807570C86803240 @default.
• W2034807570 hasConceptScore W2034807570C93682546 @default.
• W2034807570 hasIssue "4" @default.
• W2034807570 hasLocation W20348075701 @default.

• next