Cartesian double theories

Author

Evan Patterson

Published

September 25, 2023

Website built with Quarto

Topos Institute is a registered non-profit in the state of California (EIN 84-3431367)