Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504265384> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1504265384 abstract "We present a canonical system for comonads which can be extended to the notion of a computational comonad [BG92] where the crucial point is to find an appropriate representation. These canonical systems are checked with the help of the Larch Prover [GG91] exploiting a method by G. Huet [Hue90a] to represent typing within an untyped rewriting system. The resulting decision procedures are implemented in the programming language Elf [Pfe89] since typing is directly supported by this language. Finally we outline an incomplete attempt to solve the problem which could be used as a benchmark for rewriting tools." @default.
- W1504265384 created "2016-06-24" @default.
- W1504265384 creator A5005700646 @default.
- W1504265384 date "1995-01-01" @default.
- W1504265384 modified "2023-09-27" @default.
- W1504265384 title "Problems in rewriting applied to categorical concepts by the example of a computational comonad" @default.
- W1504265384 cites W1488428340 @default.
- W1504265384 cites W1527996124 @default.
- W1504265384 cites W1979101142 @default.
- W1504265384 cites W2120713972 @default.
- W1504265384 cites W2163693197 @default.
- W1504265384 cites W2294422796 @default.
- W1504265384 cites W2621168830 @default.
- W1504265384 cites W4249733112 @default.
- W1504265384 cites W4250397375 @default.
- W1504265384 cites W583126019 @default.
- W1504265384 doi "https://doi.org/10.1007/3-540-59200-8_58" @default.
- W1504265384 hasPublicationYear "1995" @default.
- W1504265384 type Work @default.
- W1504265384 sameAs 1504265384 @default.
- W1504265384 citedByCount "3" @default.
- W1504265384 countsByYear W15042653842012 @default.
- W1504265384 crossrefType "book-chapter" @default.
- W1504265384 hasAuthorship W1504265384A5005700646 @default.
- W1504265384 hasConcept C154690210 @default.
- W1504265384 hasConcept C17744445 @default.
- W1504265384 hasConcept C199360897 @default.
- W1504265384 hasConcept C199539241 @default.
- W1504265384 hasConcept C206880738 @default.
- W1504265384 hasConcept C2776359362 @default.
- W1504265384 hasConcept C41008148 @default.
- W1504265384 hasConcept C80444323 @default.
- W1504265384 hasConcept C94625758 @default.
- W1504265384 hasConceptScore W1504265384C154690210 @default.
- W1504265384 hasConceptScore W1504265384C17744445 @default.
- W1504265384 hasConceptScore W1504265384C199360897 @default.
- W1504265384 hasConceptScore W1504265384C199539241 @default.
- W1504265384 hasConceptScore W1504265384C206880738 @default.
- W1504265384 hasConceptScore W1504265384C2776359362 @default.
- W1504265384 hasConceptScore W1504265384C41008148 @default.
- W1504265384 hasConceptScore W1504265384C80444323 @default.
- W1504265384 hasConceptScore W1504265384C94625758 @default.
- W1504265384 hasLocation W15042653841 @default.
- W1504265384 hasOpenAccess W1504265384 @default.
- W1504265384 hasPrimaryLocation W15042653841 @default.
- W1504265384 hasRelatedWork W127331667 @default.
- W1504265384 hasRelatedWork W1509809797 @default.
- W1504265384 hasRelatedWork W1514119099 @default.
- W1504265384 hasRelatedWork W1514390600 @default.
- W1504265384 hasRelatedWork W1522395947 @default.
- W1504265384 hasRelatedWork W1534152665 @default.
- W1504265384 hasRelatedWork W1562307676 @default.
- W1504265384 hasRelatedWork W165195483 @default.
- W1504265384 hasRelatedWork W2039961585 @default.
- W1504265384 hasRelatedWork W2112870880 @default.
- W1504265384 hasRelatedWork W220713430 @default.
- W1504265384 hasRelatedWork W2286363480 @default.
- W1504265384 hasRelatedWork W2756101299 @default.
- W1504265384 hasRelatedWork W2768218374 @default.
- W1504265384 hasRelatedWork W2891317002 @default.
- W1504265384 hasRelatedWork W3132151609 @default.
- W1504265384 hasRelatedWork W3134667162 @default.
- W1504265384 hasRelatedWork W3146282833 @default.
- W1504265384 hasRelatedWork W3165326514 @default.
- W1504265384 hasRelatedWork W99616206 @default.
- W1504265384 isParatext "false" @default.
- W1504265384 isRetracted "false" @default.
- W1504265384 magId "1504265384" @default.
- W1504265384 workType "book-chapter" @default.