Login / Signup

Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence.

Samson Abramsky
Published in: CoRR (2022)
Keyphrases