%0 Conference Paper %1 conf/fossacs/FujiiKM16 %A Fujii, Soichiro %A ya Katsumata, Shin %A Melliès, Paul-André %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K dblp %P 513-530 %T Towards a Formal Theory of Graded Monads. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#FujiiKM16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/FujiiKM16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Fujii, Soichiro and ya Katsumata, Shin and Melliès, Paul-André}, biburl = {https://www.bibsonomy.org/bibtex/2f2158141b3726e21b147fc9e433cbe28/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_30}, interhash = {1bb6e6c8d34f512b4cefc2c385fb470f}, intrahash = {f2158141b3726e21b147fc9e433cbe28}, isbn = {978-3-662-49629-9}, keywords = {dblp}, pages = {513-530}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:24.000+0200}, title = {Towards a Formal Theory of Graded Monads.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#FujiiKM16}, volume = 9634, year = 2016 }