Conference
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