Report - Multi-focusing on extensional rewriting with sums ...gallium.inria.fr/~scherer/doc/multifocusing-slides-mar-2014... · Multi-focusing on extensional rewriting with sums ... state-of-the-art

Please pass captcha verification before submit form