Paradox
Paradox. Koen Lindström Claessen Chalmers University Gothenburg, Sweden. SAT Division Results (100). new version. old; last year’s winner. new system. The Paradox Method. sort inference. p(f(X),Y) | q(Y). X:A,Y:B . p(f(X),Y) | q(Y). flattening.
342 views • 6 slides