A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis. - Favio Ezequiel Miranda-Perea; Sammantha Omana Silva; Lourdes Del Carmen González-Huesca (Computación y Sistemas, 2022)