Toward formalizing scientific theories and models using categorical logic

Author

Evan Patterson

Published

January 31, 2024