Skip to main content

Relating structure and power: Comonadic semantics for computational resources

Samson Abramsky and Nihil Shah

Journal
J. Log. Comput.
Number
6
Pages
1390–1428
Volume
31
Year
2021