Report copyright - The Semantics of Second-Order Lambda Calculus · SECOND-ORDER LAMBDA CALCULUS SEMANTICS 79 calculus, the normalization theorem, and other proof theoretic results are described in
Please pass captcha verification before submit form
Please pass captcha verification before submit form