Preprint
Building on the Diamonds between Theories: Theory Presentation Combinators
Abstract
To build a large library of mathematics, it seems more efficient to take
advantage of the inherent structure of mathematical theories. Various theory
Authors
Carette J; O'Connor R; Sharoda Y
Publication date
December 14, 2018
DOI
10.48550/arxiv.1812.08079
Preprint server
arXiv