Nuprl Rule : comment

H  ⊢ C ext (λ.T) c

  BY comment c ()
  
  H  ⊢ C ext T


Definitions occuring in rule :  apply: f a,  lambda: λx.A[x]
Latex:
H    \mvdash{}  C  ext  (\mlambda{}.T)  c

    BY  comment  c  ()
   
    H    \mvdash{}  C  ext  T


Date html generated: 2019_06_20-PM-04_11_51
Last ObjectModification: 2015_11_25-PM-03_37_50

Theory : rules


Home Index