8 citations · 14 across the 17 of their papers we have counts for
1 paper · 2 filters
Andrea Laretto, Fosco Loregian, Niccolò Veltri
We present a first-order logic equipped with an "asymmetric" directed notion of equality, which can be thought of as rewrites between terms, allowing for types to be interpreted as…