Bialgebraic Semantics and Recursion (Q4917044): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A domain equation for bisimulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CPO models for compact GSOS languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A coinduction principle for recursive data types based on bisimulation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structural induction and coinduction in a fibrational setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mongruences and cofree coalgebras / rank | |||
Normal rank |
Revision as of 10:22, 6 July 2024
scientific article; zbMATH DE number 6158639
Language | Label | Description | Also known as |
---|---|---|---|
English | Bialgebraic Semantics and Recursion |
scientific article; zbMATH DE number 6158639 |
Statements
Bialgebraic Semantics and Recursion (English)
0 references
26 April 2013
0 references