The following pages link to (Q4385539):
Displayed 6 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- Thread algebra for poly-threading (Q640299) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Topological methods for algebraic specification (Q671657) (← links)