Strategies as Profunctors

DOI10.1007/978-3-642-37075-5_27zbMath1260.68223OpenAlexW2118613486MaRDI QIDQ4910434

Glynn Winskel

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_27

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Spaces of games (91A70)

Related Items (4)

Strategies as concurrent processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy

This page was built for publication: Strategies as Profunctors