TY - RPRT TI - Partial Komori fields and imperative Komori fields AU - J. A. Bergstra AU - C. A. Middelburg PY - 2009 UR - https://arxiv.org/abs/0909.5271 ID - 0909.5271 ER -