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