most citedClassification of linear mappings between indefinite inner product spaces

3 citations · 3 across the 2 of their papers we have counts for

collaborators

2 papers

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…