Matches in SemOpenAlex for { <https://semopenalex.org/work/W1613463432> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1613463432 endingPage "250" @default.
- W1613463432 startingPage "209" @default.
- W1613463432 abstract "A specification, as we shall use it here, consists of a signature together with a collection of (non-conditional) equations; these equations involve terms in the ‘distributive type theory’ which is built on top of the signature. This type theory has finite product (x, 1) and coproduct (+, 0) types. Particular simple examples of such specifications are Hagino specifications, which are used to describe inductively defined types. Models of specifications are described in arbitrary distributive categories. In a more categorical approach, one describes models as structure preserving functors. It enables us to define in general what are (a) models of parametrized spefications (in terms of Kan extensions) and (b) models with parameters (in terms of so-called ‘simple slice’ categories). It is shown that in the special case of Hagino specifications, these general definitions specialize to ones in terms of algebras or coalgebras for associated ‘strong’ polynomial functors. Models with parameters of Hagino specifications were described earlier by Cockett and Spencer." @default.
- W1613463432 created "2016-06-24" @default.
- W1613463432 creator A5042359645 @default.
- W1613463432 date "1995-01-01" @default.
- W1613463432 modified "2023-09-27" @default.
- W1613463432 title "PARAMETERS AND PARAMETRIZATION IN SPECIFICATION, USING DISTRIBUTIVE CATEGORIES" @default.
- W1613463432 cites W1508224656 @default.
- W1613463432 cites W1563218161 @default.
- W1613463432 cites W1581728838 @default.
- W1613463432 cites W1603788080 @default.
- W1613463432 cites W16477519 @default.
- W1613463432 cites W1977260399 @default.
- W1613463432 cites W1979170753 @default.
- W1613463432 cites W1984190288 @default.
- W1613463432 cites W1997143185 @default.
- W1613463432 cites W2001169407 @default.
- W1613463432 cites W2001462012 @default.
- W1613463432 cites W2010883554 @default.
- W1613463432 cites W2022837260 @default.
- W1613463432 cites W2024873396 @default.
- W1613463432 cites W2037729105 @default.
- W1613463432 cites W2042198724 @default.
- W1613463432 cites W2049362364 @default.
- W1613463432 cites W2120713972 @default.
- W1613463432 cites W2123546155 @default.
- W1613463432 cites W2126730327 @default.
- W1613463432 cites W2134089336 @default.
- W1613463432 cites W2135434676 @default.
- W1613463432 cites W2164343886 @default.
- W1613463432 cites W2242801177 @default.
- W1613463432 cites W2989833183 @default.
- W1613463432 doi "https://doi.org/10.3233/fi-1995-2431" @default.
- W1613463432 hasPublicationYear "1995" @default.
- W1613463432 type Work @default.
- W1613463432 sameAs 1613463432 @default.
- W1613463432 citedByCount "12" @default.
- W1613463432 countsByYear W16134634322020 @default.
- W1613463432 crossrefType "journal-article" @default.
- W1613463432 hasAuthorship W1613463432A5042359645 @default.
- W1613463432 hasBestOaLocation W16134634322 @default.
- W1613463432 hasConcept C11821877 @default.
- W1613463432 hasConcept C121332964 @default.
- W1613463432 hasConcept C202444582 @default.
- W1613463432 hasConcept C202887219 @default.
- W1613463432 hasConcept C33923547 @default.
- W1613463432 hasConcept C41008148 @default.
- W1613463432 hasConcept C62520636 @default.
- W1613463432 hasConcept C74902906 @default.
- W1613463432 hasConceptScore W1613463432C11821877 @default.
- W1613463432 hasConceptScore W1613463432C121332964 @default.
- W1613463432 hasConceptScore W1613463432C202444582 @default.
- W1613463432 hasConceptScore W1613463432C202887219 @default.
- W1613463432 hasConceptScore W1613463432C33923547 @default.
- W1613463432 hasConceptScore W1613463432C41008148 @default.
- W1613463432 hasConceptScore W1613463432C62520636 @default.
- W1613463432 hasConceptScore W1613463432C74902906 @default.
- W1613463432 hasIssue "3" @default.
- W1613463432 hasLocation W16134634321 @default.
- W1613463432 hasLocation W16134634322 @default.
- W1613463432 hasOpenAccess W1613463432 @default.
- W1613463432 hasPrimaryLocation W16134634321 @default.
- W1613463432 hasRelatedWork W1514325774 @default.
- W1613463432 hasRelatedWork W1982006902 @default.
- W1613463432 hasRelatedWork W2039312633 @default.
- W1613463432 hasRelatedWork W2089273877 @default.
- W1613463432 hasRelatedWork W2353491313 @default.
- W1613463432 hasRelatedWork W2365343966 @default.
- W1613463432 hasRelatedWork W2885140876 @default.
- W1613463432 hasRelatedWork W3011046085 @default.
- W1613463432 hasRelatedWork W3130067708 @default.
- W1613463432 hasRelatedWork W4245428486 @default.
- W1613463432 hasVolume "24" @default.
- W1613463432 isParatext "false" @default.
- W1613463432 isRetracted "false" @default.
- W1613463432 magId "1613463432" @default.
- W1613463432 workType "article" @default.