Report - Superdeduction - rho.loria.fr · Cl´ement Houtmann & Paul Brauner, LORIA October 23, 2006. Superdeduction Typing the ρ-calculus Let’s type the ρ-calculus Terms: p ::= R(α ...

Please pass captcha verification before submit form