Omana Silva, Sammantha, Universidad Nacional Autónoma de México, Mexico

• Vol 26, No 2 (2022): Emerging Issues and Applications of Fuzzy Systems, Neural Networks and Metaheuristics (Castillo, Melin, Montiel, Valdez) - Articles of the Thematic Section
  A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis
  Abstract  PDF