Pages that link to "Item:Q4379680"
From MaRDI portal
The following pages link to Categorical logic of names and abstraction in action calculi (Q4379680):
Displaying 8 items.
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- Chasing Diagrams in Cryptography (Q5414973) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
