Inferenzregeln f. Rekonstrukion

• primitive Operationen (Beispiel)
  $${\frac{{E \vdash X_1:(T_1,C_1), \quad E \vdash X_2:(T_2,C_2)}}{{E... ... + X_2 : (\text{Int}, \{ T_1=\text{Int},T_2=\text{Int}\}\cup C_1 \cup C_2) }}}$$

  mathend000#

• Applikation
  $${\frac{{E \vdash F : (T_1, C_1), \quad E \vdash A : (T_2,C_2)}}{{E \vdash (F A): \ldots}}}$$

  mathend000#

• Abstraktion
  $${\frac{{\ldots}}{{E\vdash \lambda x.B : \ldots}}}$$

  mathend000#

• (Ü) Konstanten, Variablen, if/then/else