Login / Signup

Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann
Published in: APLAS (2023)
Keyphrases