Nuprl Definition : prior-as-rec-bind-class-in2
prior-as-rec-bind-class-in2(X;i) == Skip(Lift(X?λloc.i))
Definitions occuring in Statement :
lift-class: Lift(X),
class-opt: X?b,
skip-first-class: Skip(X),
lambda: λx.A[x]
FDL editor aliases :
prior-as-rec-bind-class-in2
Latex:
prior-as-rec-bind-class-in2(X;i) == Skip(Lift(X?\mlambda{}loc.i))
Date html generated:
2015_07_21-PM-03_14_56
Last ObjectModification:
2012_04_17-AM-00_36_36
Home
Index