some modal type bibs

This commit is contained in:
rhiannon morris 2023-05-23 18:09:25 +02:00
parent 3bbf0366c8
commit 4aa3e5f730
1 changed files with 46 additions and 1 deletions

View File

@ -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