Pages that link to "Item:Q2864151"
From MaRDI portal
The following pages link to The bicategory-theoretic solution of recursive domain equations (Q2864151):
Displaying 5 items.
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Solving reflexive domain equations in a category of complete metric spaces (Q753944) (← links)
- Using information systems to solve recursive domain equations (Q808273) (← links)
- Relating two approaches to coinductive solution of recursive equations (Q2847812) (← links)