Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160075825> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W3160075825 abstract "The aim of this paper is to model recursive types, equational types, and elementary programming control constructs (such as conditionals and while-do) in one, comparatively simple, algebraic framework, that can be used for theoretical studies and as a basis for data type and program specification. To this end we introduce a new kind of algebraic theory, the RV-theory. We give simple examples of the use of such theories for data type specification. We provide a mathematical semantics for these specifications that extends the initial algebra semantics for equational specification to include recursive types." @default.
- W3160075825 created "2021-05-24" @default.
- W3160075825 creator A5047495686 @default.
- W3160075825 date "1986-07-01" @default.
- W3160075825 modified "2023-09-24" @default.
- W3160075825 title "Algebraic Theories, Data Types, and Control Constructs" @default.
- W3160075825 doi "https://doi.org/10.3233/fi-1986-9305" @default.
- W3160075825 hasPublicationYear "1986" @default.
- W3160075825 type Work @default.
- W3160075825 sameAs 3160075825 @default.
- W3160075825 citedByCount "3" @default.
- W3160075825 crossrefType "journal-article" @default.
- W3160075825 hasAuthorship W3160075825A5047495686 @default.
- W3160075825 hasConcept C134306372 @default.
- W3160075825 hasConcept C136119220 @default.
- W3160075825 hasConcept C154945302 @default.
- W3160075825 hasConcept C202444582 @default.
- W3160075825 hasConcept C2775924081 @default.
- W3160075825 hasConcept C33923547 @default.
- W3160075825 hasConcept C41008148 @default.
- W3160075825 hasConcept C80444323 @default.
- W3160075825 hasConcept C9376300 @default.
- W3160075825 hasConceptScore W3160075825C134306372 @default.
- W3160075825 hasConceptScore W3160075825C136119220 @default.
- W3160075825 hasConceptScore W3160075825C154945302 @default.
- W3160075825 hasConceptScore W3160075825C202444582 @default.
- W3160075825 hasConceptScore W3160075825C2775924081 @default.
- W3160075825 hasConceptScore W3160075825C33923547 @default.
- W3160075825 hasConceptScore W3160075825C41008148 @default.
- W3160075825 hasConceptScore W3160075825C80444323 @default.
- W3160075825 hasConceptScore W3160075825C9376300 @default.
- W3160075825 hasLocation W31600758251 @default.
- W3160075825 hasOpenAccess W3160075825 @default.
- W3160075825 hasPrimaryLocation W31600758251 @default.
- W3160075825 hasRelatedWork W102124637 @default.
- W3160075825 hasRelatedWork W1480382077 @default.
- W3160075825 hasRelatedWork W1498926208 @default.
- W3160075825 hasRelatedWork W1554884006 @default.
- W3160075825 hasRelatedWork W1558324813 @default.
- W3160075825 hasRelatedWork W1985680718 @default.
- W3160075825 hasRelatedWork W2000748170 @default.
- W3160075825 hasRelatedWork W2037534505 @default.
- W3160075825 hasRelatedWork W2104481363 @default.
- W3160075825 hasRelatedWork W2107674601 @default.
- W3160075825 hasRelatedWork W2137106928 @default.
- W3160075825 hasRelatedWork W2284538163 @default.
- W3160075825 hasRelatedWork W2604527697 @default.
- W3160075825 hasRelatedWork W2951816890 @default.
- W3160075825 hasRelatedWork W2964272806 @default.
- W3160075825 hasRelatedWork W3092446319 @default.
- W3160075825 hasRelatedWork W3122807962 @default.
- W3160075825 hasRelatedWork W3124029457 @default.
- W3160075825 hasRelatedWork W3171769836 @default.
- W3160075825 hasRelatedWork W373853488 @default.
- W3160075825 isParatext "false" @default.
- W3160075825 isRetracted "false" @default.
- W3160075825 magId "3160075825" @default.
- W3160075825 workType "article" @default.