TY - RPRT TI - Typability in partial groupoids AU - P. H. Rodenburg AU - I. Bethke PY - 2009 UR - https://arxiv.org/abs/0901.0188 ID - 0901.0188 ER -