22 citations · 63 across the 24 of their papers we have counts for
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023★ 3 cited
Moore-Penrose Dagger Categories
Robin Cockett, Jean-Simon Pacaud Lemay
The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Moore in 1920 and rediscovered by Penrose in 1955. The M-P inverse of a complex matrix is a special type of in…
cs.LO2023★ 2 cited
Graded Differential Categories and Graded Differential Linear Logic
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
In Linear Logic (), the exponential modality brings forth a distinction between non-linear proofs and linear proofs, where linear means using an argument exactly o…