Commit b2c60a69 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

.

parent 937c3d77
......@@ -127,7 +127,7 @@ following rule\vspace{-1mm}
\Gamma,x:s\vdash e:t
\and
T = \{ (s,t) \} \cup \{ (u,v) ~|~
s'\in\psi(x) \land \Gamma,x:u\vdash e:v \}}
u\in\psi(x) \land \Gamma,x:u\vdash e:v \}}
{
\Gamma\vdash\lambda x:s.e:\textstyle\bigwedge_{(u,v) \in T}u\to v
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment