Next: Local Up: The kernel language Previous: Abstraction Contents

Application

$\displaystyle \typerule {\gammahastype {e_1}{T_1},\;\cdots,\; \gammahastype {e_... ...e {T_1,\ldots,T_n}{T}}} {\gammahastype {\Application {f}{e_1,\ldots,e_n}}{{T}}}$

(3.7)

Hassan Ait Kaci 2002-05-26