TY  - RPRT
TI  - Building on the Diamonds between Theories: Theory Presentation Combinators
AU  - Jacques Carette
AU  - Russell O'Connor
AU  - Yasmine Sharoda
PY  - 2019
UR  - https://arxiv.org/abs/1812.08079
ID  - 1812.08079
ER  -