The following pages link to Processes and hyperuniverses (Q5096893):
Displaying 5 items.
- A fixed-point theorem in a category of compact metric spaces (Q673143) (← links)
- A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Final semantics for a higher order concurrent language (Q5878904) (← links)
