User:Lambdageek

$$ \frac{\Gamma,x{:}\tau_1\vdash e : \tau_2}{\Gamma\vdash \lambda x.e : \tau_1\rightarrow\tau_2} $$

For more about me, see my homepage