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