TY - RPRT TI - Representation Embeddings of Cartesian Theories AU - Michael Lambert PY - 2017 UR - https://arxiv.org/abs/1612.02497 ID - 1612.02497 ER -