3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.CT2026
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Anna Matsui, Innocent Obi, Guillaume Sabbagh +4
Critical pair analysis provides a convenient and computable criterion of confluence, which is a fundamental property in rewriting theory, for a wide variety of rewriting systems. B…
math.LO2019
Formalizing the Curry-Howard Correspondence
Juan Ferrer Meleiro, Hugo Luiz Mariano
The Curry-Howard Correspondence has a long history, and still is a topic of active research. Though there are extensive investigations into the subject, there doesn't seem to be a…
math.RT2017★ 3 cited
Classification of linear mappings between indefinite inner product spaces
Juan Meleiro, Vladimir V. Sergeichuk, Thiago Solovera +1
Let be a linear mapping between vector spaces and over a field or skew field with symmetric, or skew-symmetric, or Hermitian forms $\mathcal…