Collaborated with:
S.Abramsky
Talks about:
structur (1) resourc (1) comonad (1) semant (1) comput (1) relat (1) power (1)
Person: Nihil Shah
DBLP: Shah:Nihil
Contributed to:
Wrote 1 papers:
- CSL-2018-AbramskyS #semantics
- Relating Structure and Power: Comonadic Semantics for Computational Resources (SA, NS), p. 17.