From 4aa3e5f730c85825a50a441d7fd07d8059508456 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Tue, 23 May 2023 18:09:25 +0200
Subject: [PATCH] some modal type bibs

---
 quox.bib | 47 ++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 46 insertions(+), 1 deletion(-)

diff --git a/quox.bib b/quox.bib
index 5e99ea7..6951370 100644
--- a/quox.bib
+++ b/quox.bib
@@ -264,7 +264,7 @@
                   Dale Miller},
   title        = {Multimodal Dependent Type Theory},
   booktitle    = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
-                  Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
+                  Science, Saarbrücken, Germany, July 8--11, 2020},
   pages        = {492--506},
   publisher    = {{ACM}},
   year         = {2020},
@@ -272,6 +272,51 @@
   doi          = {10.1145/3373718.3394736},
 }
 
+@inproceedings{recursion_modality,
+  author       = {Adrien Guatto},
+  editor       = {Anuj Dawar and
+                  Erich Grädel},
+  title        = {A Generalized Modality for Recursion},
+  booktitle    = {{LICS} '18: 33rd Annual {ACM/IEEE} Symposium on
+                  Logic in Computer Science, Oxford, UK, July 09--12, 2018},
+  pages        = {482--491},
+  publisher    = {{ACM}},
+  year         = {2018},
+% url          = {https://doi.org/10.1145/3209108.3209148},
+  url          = {https://arxiv.org/pdf/1805.11021.pdf},
+  doi          = {10.1145/3209108.3209148},
+}
+
+@inproceedings{clocks_are_ticking,
+  author       = {Patrick Bahr and
+                  Hans Bugge Grathwohl and
+                  Rasmus Ejlers Møgelberg},
+  title        = {The clocks are ticking: No more delays!},
+  booktitle    = {{LICS} '17: 32nd Annual {ACM/IEEE} Symposium on
+                  Logic in Computer Science, Reykjavík, Iceland,
+                  June 20--23, 2017},
+  pages        = {1--12},
+  publisher    = {{IEEE} Computer Society},
+  year         = {2017},
+% url          = {https://doi.org/10.1109/LICS.2017.8005097},
+  url          = {https://bahr.io/pubs/files/bahr17types-extended\%20abstract.pdf},
+  doi          = {10.1109/LICS.2017.8005097},
+}
+
+@inproceedings{later_nakano,
+  author       = {Hiroshi Nakano},
+  title        = {A Modality for Recursion},
+  booktitle    = {{LICS} 2000: 15th Annual {IEEE} Symposium on
+                  Logic in Computer Science, Santa Barbara, California, USA,
+                  June 26--29, 2000},
+  pages        = {255--266},
+  publisher    = {{IEEE} Computer Society},
+  year         = {2000},
+% url          = {https://doi.org/10.1109/LICS.2000.855774},
+  url          = {https://www602.math.ryukoku.ac.jp/~nakano/papers/modality-lics00.pdf},
+  doi          = {10.1109/LICS.2000.855774},
+}
+
 
 % Misc implementation