diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 2ea1777..a04765a 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1367,7 +1367,7 @@ inproceedings{HHRRW14, acceptance = {123/433=0.28}, } -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BLOGS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @misc{plp-blog-ct, title = {Teaching Category Theory to Computer Scientists}, author = {Hsu, Justin}, @@ -1466,6 +1466,22 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{FFFGHR25, + title = {Towards an Axiomatisation of the Neighborhood Monad}, + author = {Fan, Max and + Ford, Chase and + Forster, Jonas and + Gar{\dh}arsson, J\'on H\'akon and + Hsu, Justin and + Richards, Jessica}, + booktitle = {International Workshop on Behavioural Metrics and Quantitative + Logics ({BMQL}), Aarhus, Denmark, informal proceedings}, + year = {2025}, + jh = yes, + jhsite = yes, + reviewed = no, +} + @inproceedings{GGHHP13, title = {Automatic Sensitivity Analysis using Linear Dependent Types}, author = {Gaboardi, Marco and