The following pages link to Samson Abramsky (Q320191):
Displaying 16 items.
- Algebra and Coalgebra in Computer Science (Q5492810) (← links)
- A generalized Kahn Principle for abstract asynchronous networks (Q5887509) (← links)
- Static Analysis (Q5897423) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- Arboreal Categories: An Axiomatic Theory of Resources (Q6135784) (← links)
- A Generalized Kahn Principle for Abstract Asynchronous Networks (Q6229431) (← links)
- The logic of contextuality (Q6353098) (← links)
- Discrete density comonads and graph parameters (Q6399075) (← links)
- Team Semantics and Independence Notions in Quantum Physics (Q6504585) (← links)
- Linear Arboreal Categories (Q6508547) (← links)
- Specification structures and propositions-as-types for concurrency (Q6560388) (← links)
- Comonadic semantics for hybrid logic (Q6583998) (← links)
- Logical journeys: a scientific autobiography (Q6612777) (← links)
- A comonadic view of simulation and quantum resources (Q6654488) (← links)
- An invitation to game comonads (Q6734544) (← links)