98 lines
3.7 KiB
BibTeX
98 lines
3.7 KiB
BibTeX
@inproceedings{Fiore2008,
|
|
author = {Marcelo P. Fiore},
|
|
title = {Second-Order and Dependently-Sorted Abstract Syntax},
|
|
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
|
|
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
|
|
pages = {57--68},
|
|
publisher = {{IEEE} Computer Society},
|
|
year = {2008},
|
|
url = {https://doi.org/10.1109/LICS.2008.38},
|
|
doi = {10.1109/LICS.2008.38},
|
|
timestamp = {Fri, 24 Mar 2023 00:01:50 +0100},
|
|
biburl = {https://dblp.org/rec/conf/lics/Fiore08.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@inproceedings{Altenkirch2018,
|
|
author = {Thorsten Altenkirch and
|
|
Paolo Capriotti and
|
|
Gabe Dijkstra and
|
|
Nicolai Kraus and
|
|
Fredrik Nordvall Forsberg},
|
|
editor = {Christel Baier and
|
|
Ugo Dal Lago},
|
|
title = {Quotient Inductive-Inductive Types},
|
|
booktitle = {Foundations of Software Science and Computation Structures - 21st
|
|
International Conference, {FOSSACS} 2018, Held as Part of the European
|
|
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
|
|
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
|
|
series = {Lecture Notes in Computer Science},
|
|
volume = {10803},
|
|
pages = {293--310},
|
|
publisher = {Springer},
|
|
year = {2018},
|
|
url = {https://doi.org/10.1007/978-3-319-89366-2\_16},
|
|
doi = {10.1007/978-3-319-89366-2\_16},
|
|
timestamp = {Sun, 04 Aug 2024 19:40:23 +0200},
|
|
biburl = {https://dblp.org/rec/conf/fossacs/AltenkirchCDKF18.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@InProceedings{Munchhausen,
|
|
author = {Thorsten Altenkirch and
|
|
Ambrus Kaposi and
|
|
Artjoms Sinkarovs and
|
|
Tam{\'{a}}s V{\'{e}}gh},
|
|
editor = {Delia Kesner and
|
|
Pierre{-}Marie P{\'{e}}drot},
|
|
title = {The M{\"{u}}nchhausen Method in Type Theory},
|
|
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
|
|
2022, June 20-25, 2022, LS2N, University of Nantes, France},
|
|
series = {LIPIcs},
|
|
volume = {269},
|
|
pages = {10:1--10:20},
|
|
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
|
|
year = {2022},
|
|
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.10},
|
|
doi = {10.4230/LIPICS.TYPES.2022.10},
|
|
timestamp = {Mon, 31 Jul 2023 17:17:51 +0200},
|
|
biburl = {https://dblp.org/rec/conf/types/AltenkirchKSV22.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
@article{CartmellGATs,
|
|
author = {John Cartmell},
|
|
title = {Generalised algebraic theories and contextual categories},
|
|
journal = {Ann. Pure Appl. Log.},
|
|
volume = {32},
|
|
pages = {209--243},
|
|
year = {1986},
|
|
url = {https://doi.org/10.1016/0168-0072(86)90053-9},
|
|
doi = {10.1016/0168-0072(86)90053-9},
|
|
timestamp = {Fri, 21 Feb 2020 21:18:13 +0100},
|
|
biburl = {https://dblp.org/rec/journals/apal/Cartmell86.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@phdthesis{SestiniPhD,
|
|
author = {Filippo Sestini},
|
|
title = {Bootstrapping Extensionality},
|
|
school = {University of Nottingham},
|
|
year = 2023,
|
|
month = mar
|
|
}
|
|
|
|
@misc{AmbrusSzumiXie2sort,
|
|
author = {Ambrus Kaposi},
|
|
title = {Message to the Agda mailing list},
|
|
howpublished = {\url{https://lists.chalmers.se/pipermail/agda/2019/011176.html}},
|
|
year = 2019
|
|
}
|
|
|
|
@misc{nlab:reflective_subcategory,
|
|
author = {{nLab authors}},
|
|
title = {reflective subcategory},
|
|
howpublished = {\url{https://ncatlab.org/nlab/show/reflective+subcategory}},
|
|
note = {\href{https://ncatlab.org/nlab/revision/reflective+subcategory/116}{Revision 116}},
|
|
month = jul,
|
|
year = 2024
|
|
} |