diff --git a/paper/paper.bib b/paper/paper.bib index 2190322ec4..cc07d17ff9 100644 --- a/paper/paper.bib +++ b/paper/paper.bib @@ -1,6 +1,5 @@ @mastersthesis{ivardeBruin2023, author = {Ivar {de Bruin}}, - sortname = {Bruijn, Ivar de}, title = {Improving {Agda}'s module system}, institution = {Delft University of Technology}, year = 2023, @@ -142,7 +141,7 @@ @misc{coq2024manual @inproceedings{van2020maintaining, title={Maintaining a library of formal mathematics}, - author={van Doorn, Floris and Ebner, Gabriel and Lewis, Robert Y}, + author={{van Doorn}, Floris and Ebner, Gabriel and Lewis, Robert Y}, booktitle={International Conference on Intelligent Computer Mathematics}, pages={251--267}, year={2020},