Next: Application Up: The kernel language Previous: Constant Contents

Abstraction

$\displaystyle \typerule {\hastype {\Gamma\tsubst{x_1}{T_1}\cdots\tsubst{x_n}{T_... ...\gammahastype {\Abstraction {x_1,\ldots,x_n}{e}}{\funtype {T_1,\ldots,T_n}{T}}}$

(3.6)

Hassan Ait Kaci 2002-05-26