Local Refinement Typing #1 Post by wkornewald » Mon, Jul 10, 2017, 4:13 PM UTC Local Refinement Typingarxiv.org