Pages that link to "Item:Q1791242"
From MaRDI portal
The following pages link to Temporal type theory. A topos-theoretic approach to systems and behavior (Q1791242):
Displaying 8 items.
- Sheaves on the category of periodic observation (Q1592619) (← links)
- Networks of hybrid open systems (Q2302562) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- (Q5019299) (← links)
- (Q5019670) (← links)
- Double Categories of Open Dynamical Systems (Extended Abstract) (Q5019672) (← links)
- (Q5019683) (← links)
- Persistent homology of partially ordered spaces (Q6669850) (← links)