Relating Structure and Power: Comonadic Semantics for Computational Resources
Samson Abramsky and Nihil Shah
Book Title
27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK
Editor
Dan R. Ghica and Achim Jung
ISBN
978−3−95977−088−0
ISSN
1868−8969
Pages
2:1–2:17
Publisher
Schloss Dagstuhl − Leibniz−Zentrum für Informatik
Series
LIPIcs
Volume
119
Year
2018