Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549054207> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1549054207 endingPage "288" @default.
- W1549054207 startingPage "272" @default.
- W1549054207 abstract "In this work we present a modular theory of the coalgebras and bisimulation in the intensional type theory implemented in coq. On top of that we build the theory of weakly final coalgebras and develop the λ-coiteration scheme, thereby extending the class of specifications definable in coq. We provide an instantiation of the theory for the coalgebra of streams and show how some of the productive specifications violating the guardedness condition of coq can be formalised using our library." @default.
- W1549054207 created "2016-06-24" @default.
- W1549054207 creator A5056082326 @default.
- W1549054207 date "2009-01-01" @default.
- W1549054207 modified "2023-10-18" @default.
- W1549054207 title "Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme" @default.
- W1549054207 cites W1491165055 @default.
- W1549054207 cites W1495567550 @default.
- W1549054207 cites W1532383456 @default.
- W1549054207 cites W1821509023 @default.
- W1549054207 cites W1965763876 @default.
- W1549054207 cites W2088189323 @default.
- W1549054207 cites W2126684544 @default.
- W1549054207 cites W2133221106 @default.
- W1549054207 cites W2482538793 @default.
- W1549054207 doi "https://doi.org/10.1007/978-3-642-02444-3_17" @default.
- W1549054207 hasPublicationYear "2009" @default.
- W1549054207 type Work @default.
- W1549054207 sameAs 1549054207 @default.
- W1549054207 citedByCount "8" @default.
- W1549054207 countsByYear W15490542072012 @default.
- W1549054207 countsByYear W15490542072013 @default.
- W1549054207 countsByYear W15490542072014 @default.
- W1549054207 crossrefType "book-chapter" @default.
- W1549054207 hasAuthorship W1549054207A5056082326 @default.
- W1549054207 hasConcept C101468663 @default.
- W1549054207 hasConcept C134306372 @default.
- W1549054207 hasConcept C135315306 @default.
- W1549054207 hasConcept C136119220 @default.
- W1549054207 hasConcept C154945302 @default.
- W1549054207 hasConcept C199360897 @default.
- W1549054207 hasConcept C202444582 @default.
- W1549054207 hasConcept C2777212361 @default.
- W1549054207 hasConcept C2778249326 @default.
- W1549054207 hasConcept C33923547 @default.
- W1549054207 hasConcept C41008148 @default.
- W1549054207 hasConcept C77618280 @default.
- W1549054207 hasConcept C80444323 @default.
- W1549054207 hasConceptScore W1549054207C101468663 @default.
- W1549054207 hasConceptScore W1549054207C134306372 @default.
- W1549054207 hasConceptScore W1549054207C135315306 @default.
- W1549054207 hasConceptScore W1549054207C136119220 @default.
- W1549054207 hasConceptScore W1549054207C154945302 @default.
- W1549054207 hasConceptScore W1549054207C199360897 @default.
- W1549054207 hasConceptScore W1549054207C202444582 @default.
- W1549054207 hasConceptScore W1549054207C2777212361 @default.
- W1549054207 hasConceptScore W1549054207C2778249326 @default.
- W1549054207 hasConceptScore W1549054207C33923547 @default.
- W1549054207 hasConceptScore W1549054207C41008148 @default.
- W1549054207 hasConceptScore W1549054207C77618280 @default.
- W1549054207 hasConceptScore W1549054207C80444323 @default.
- W1549054207 hasLocation W15490542071 @default.
- W1549054207 hasOpenAccess W1549054207 @default.
- W1549054207 hasPrimaryLocation W15490542071 @default.
- W1549054207 hasRelatedWork W1581191281 @default.
- W1549054207 hasRelatedWork W2043188535 @default.
- W1549054207 hasRelatedWork W2118219143 @default.
- W1549054207 hasRelatedWork W2164883513 @default.
- W1549054207 hasRelatedWork W2523187641 @default.
- W1549054207 hasRelatedWork W2922796661 @default.
- W1549054207 hasRelatedWork W2957704882 @default.
- W1549054207 hasRelatedWork W4287554280 @default.
- W1549054207 hasRelatedWork W4288675791 @default.
- W1549054207 hasRelatedWork W45901170 @default.
- W1549054207 isParatext "false" @default.
- W1549054207 isRetracted "false" @default.
- W1549054207 magId "1549054207" @default.
- W1549054207 workType "book-chapter" @default.