Looking for papers and articles on higher-order sequent systems
Again I'm not exactly sure what you are looking for because there are potentially many "similar" systems, but for recent work that I think is very related you can read Part II ("Mixing Derivability and Admissibility") of Dan Licata's thesis, as well as Constructive provability logic by Rob Simmons and Bernardo Toninho.