Report - Developing (Meta)Theory of -calculus in the Theory …marino.miculan/Papers/...variables, we de ne X,fM2 jFV(M) Xg. Contexts, i.e. terms with holes, are denoted by M(). A (closed)

Please pass captcha verification before submit form