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