M
L
_
U
nification Dependents
2023
Transport via Partial Galois Connections and Equivalences
by
Kevin Kappelmann
Oct 11