Skip to content

Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann

VenueBAPLAS
Year2023
ProceedingsAPLAS

Browse the full APLAS paper archive.