A First Order Theory of Diagram Chasing.

Assia Mahboubi Matthieu Piquerez

Published in: CSL (2024)

Keyphrases

theoretical basis
higher order
general theory
software engineering
theoretical framework
formal theory
machine learning
information theory