Pages that link to "Item:Q685401"
From MaRDI portal
The following pages link to I-categories as a framework for solving domain equations (Q685401):
Displaying 5 items.
- Solving reflexive domain equations in a category of complete metric spaces (Q753944) (← links)
- Using information systems to solve recursive domain equations (Q808273) (← links)
- Information categories (Q1320330) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- Three dual ontologies (Q1868336) (← links)