User:Lambdageek

From Wikipedia, the free encyclopedia

$\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

Retrieved from "http://en.wikipedia.org../../../l/a/m/User%7ELambdageek_0d57.html"

Category: Wikipedians by alma mater: Stuyvesant High School

Views

Search