Heavy neutral leptons in effective field theory and the high-luminosity LHC | Publicación