The following pages link to (Q4941927):
Displaying 6 items.
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- GETGRATS (Q4923529) (← links)
- Some algebraic problems in the context of functorial semantics of algebraic theories (Q5602981) (← links)