TY - RPRT TI - Short Calculus AU - Oscar Bolina PY - 2004 UR - https://arxiv.org/abs/math/0110263 ID - math/0110263 ER -