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:
2016_05_17-AM-00_31_14
Last ObjectModification:
2012_04_17-AM-00_36_36
Theory : event-ordering
Home
Index