Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200639697> ?p ?o ?g. }
- W3200639697 abstract "This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how join inverse rig categories do not in general capture pattern-matching, the core construct Theseus uses to enforce reversibility. We then derive a categorical structure to add to join inverse rig categories in order to capture pattern-matching. We show how such a structure makes an adequate model for reversible pattern-matching." @default.
- W3200639697 created "2021-09-27" @default.
- W3200639697 creator A5004958028 @default.
- W3200639697 creator A5012999280 @default.
- W3200639697 creator A5065743601 @default.
- W3200639697 date "2021-09-13" @default.
- W3200639697 modified "2023-09-27" @default.
- W3200639697 title "Categorical Semantics of Reversible Pattern-Matching." @default.
- W3200639697 cites W1470114689 @default.
- W3200639697 cites W1523853150 @default.
- W3200639697 cites W1592668793 @default.
- W3200639697 cites W1983244685 @default.
- W3200639697 cites W2026235588 @default.
- W3200639697 cites W2031433874 @default.
- W3200639697 cites W2068967633 @default.
- W3200639697 cites W2069969963 @default.
- W3200639697 cites W2082745618 @default.
- W3200639697 cites W2105259569 @default.
- W3200639697 cites W2112450120 @default.
- W3200639697 cites W2114638353 @default.
- W3200639697 cites W2211863652 @default.
- W3200639697 cites W2295398892 @default.
- W3200639697 cites W2463458990 @default.
- W3200639697 cites W2463737592 @default.
- W3200639697 cites W2491933619 @default.
- W3200639697 cites W2513689028 @default.
- W3200639697 cites W253306409 @default.
- W3200639697 cites W2797773006 @default.
- W3200639697 cites W2804017277 @default.
- W3200639697 cites W2888402443 @default.
- W3200639697 cites W2945894892 @default.
- W3200639697 cites W2963865229 @default.
- W3200639697 cites W2980404066 @default.
- W3200639697 cites W3025022927 @default.
- W3200639697 cites W3041363900 @default.
- W3200639697 cites W3048608673 @default.
- W3200639697 cites W950576007 @default.
- W3200639697 hasPublicationYear "2021" @default.
- W3200639697 type Work @default.
- W3200639697 sameAs 3200639697 @default.
- W3200639697 citedByCount "0" @default.
- W3200639697 crossrefType "posted-content" @default.
- W3200639697 hasAuthorship W3200639697A5004958028 @default.
- W3200639697 hasAuthorship W3200639697A5012999280 @default.
- W3200639697 hasAuthorship W3200639697A5065743601 @default.
- W3200639697 hasConcept C105795698 @default.
- W3200639697 hasConcept C11413529 @default.
- W3200639697 hasConcept C114614502 @default.
- W3200639697 hasConcept C119857082 @default.
- W3200639697 hasConcept C120665830 @default.
- W3200639697 hasConcept C121332964 @default.
- W3200639697 hasConcept C165064840 @default.
- W3200639697 hasConcept C184337299 @default.
- W3200639697 hasConcept C192209626 @default.
- W3200639697 hasConcept C199360897 @default.
- W3200639697 hasConcept C207467116 @default.
- W3200639697 hasConcept C2164484 @default.
- W3200639697 hasConcept C2524010 @default.
- W3200639697 hasConcept C2776124973 @default.
- W3200639697 hasConcept C2780801425 @default.
- W3200639697 hasConcept C33923547 @default.
- W3200639697 hasConcept C41008148 @default.
- W3200639697 hasConcept C45374587 @default.
- W3200639697 hasConcept C5274069 @default.
- W3200639697 hasConcept C76155785 @default.
- W3200639697 hasConceptScore W3200639697C105795698 @default.
- W3200639697 hasConceptScore W3200639697C11413529 @default.
- W3200639697 hasConceptScore W3200639697C114614502 @default.
- W3200639697 hasConceptScore W3200639697C119857082 @default.
- W3200639697 hasConceptScore W3200639697C120665830 @default.
- W3200639697 hasConceptScore W3200639697C121332964 @default.
- W3200639697 hasConceptScore W3200639697C165064840 @default.
- W3200639697 hasConceptScore W3200639697C184337299 @default.
- W3200639697 hasConceptScore W3200639697C192209626 @default.
- W3200639697 hasConceptScore W3200639697C199360897 @default.
- W3200639697 hasConceptScore W3200639697C207467116 @default.
- W3200639697 hasConceptScore W3200639697C2164484 @default.
- W3200639697 hasConceptScore W3200639697C2524010 @default.
- W3200639697 hasConceptScore W3200639697C2776124973 @default.
- W3200639697 hasConceptScore W3200639697C2780801425 @default.
- W3200639697 hasConceptScore W3200639697C33923547 @default.
- W3200639697 hasConceptScore W3200639697C41008148 @default.
- W3200639697 hasConceptScore W3200639697C45374587 @default.
- W3200639697 hasConceptScore W3200639697C5274069 @default.
- W3200639697 hasConceptScore W3200639697C76155785 @default.
- W3200639697 hasLocation W32006396971 @default.
- W3200639697 hasOpenAccess W3200639697 @default.
- W3200639697 hasPrimaryLocation W32006396971 @default.
- W3200639697 hasRelatedWork W1550291575 @default.
- W3200639697 hasRelatedWork W1601197967 @default.
- W3200639697 hasRelatedWork W1963457114 @default.
- W3200639697 hasRelatedWork W1974545679 @default.
- W3200639697 hasRelatedWork W1980185632 @default.
- W3200639697 hasRelatedWork W1990743740 @default.
- W3200639697 hasRelatedWork W2000068473 @default.
- W3200639697 hasRelatedWork W2016909265 @default.
- W3200639697 hasRelatedWork W2024426984 @default.
- W3200639697 hasRelatedWork W2031344315 @default.
- W3200639697 hasRelatedWork W2041597427 @default.
- W3200639697 hasRelatedWork W2048841336 @default.