Avec le fichier .bib

these-mickael/main.bib

+@article{PlotkinP13,
+  author    = {Gordon D. Plotkin and
+               Matija Pretnar},
+  title     = {Handling Algebraic Effects},
+  journal   = {Logical Methods in Computer Science},
+  volume    = {9},
+  number    = {4},
+  year      = {2013},
+  url       = {https://doi.org/10.2168/LMCS-9(4:23)2013},
+  doi       = {10.2168/LMCS-9(4:23)2013},
+  timestamp = {Tue, 14 May 2019 16:31:14 +0200},
+  biburl    = {https://dblp.org/rec/journals/corr/PlotkinP13.bib},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}
+@article{PlotkinP03,
+  author    = {Gordon D. Plotkin and
+               John Power},
+  title     = {Algebraic Operations and Generic Effects},
+  journal   = {Applied Categorical Structures},
+  volume    = {11},
+  number    = {1},
+  pages     = {69--94},
+  year      = {2003},
+  url       = {https://doi.org/10.1023/A:1023064908962},
+  doi       = {10.1023/A:1023064908962},
+  timestamp = {Fri, 02 Nov 2018 09:31:44 +0100},
+  biburl    = {https://dblp.org/rec/journals/acs/PlotkinP03.bib},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}