Login / Signup
Sammantha Omana Silva
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Pairwise
Sequent Calculus
Top Venues
Computación y Sistemas
</>
Publications
</>
Favio E. Miranda-Perea
,
Sammantha Omana Silva
,
Lourdes Del Carmen González-Huesca
A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis.
Computación y Sistemas
26 (2) (2022)