Login / Signup

Reflexive graph lenses in univalent foundations.

Jonathan Sterling
Published in: CoRR (2024)
Keyphrases