TY - RPRT TI - Free constructions and coproducts of d-frames AU - Tomáš Jakl AU - Achim Jung PY - 2017 DO - 10.4230/lipics.calco.2017.14 UR - https://arxiv.org/abs/1704.04029 ID - 1704.04029 ER -