Home
Home
About
Contact
Begin your search of the AGOSR Open Access Database
Search
Reset
All Fields
Contributors
DOI
OAI
Results: 1
View Article
Combining Effects and Coeffects via Grading
Marco Gaboardi
,
Shin-ya Katsumata
,
Dominic Orchard
,
Flavien Breuvart
,
Tarmo Uustalu
Jul 25, 2016
effects
coeffects
monads
comonads
distributive laws
Grading
types
categorical semantics
Published by:
