Mario Román

Search

Constructivism in Computer Science and category theory

Last updated Oct 4, 2022

constructivism-in-computer-science-and-category-theory

Made by Mario Román using Quartz and Obsidian, CC BY-SA 2023 (How to cite)

Home
ArXiv
Github