diff --git a/paper/paper.bib b/paper/paper.bib index 06e5beff5c..2190322ec4 100644 --- a/paper/paper.bib +++ b/paper/paper.bib @@ -1,6 +1,6 @@ @mastersthesis{ivardeBruin2023, author = {Ivar {de Bruin}}, - sortname = {de Bruijn, Ivar}, + sortname = {Bruijn, Ivar de}, title = {Improving {Agda}'s module system}, institution = {Delft University of Technology}, year = 2023,