Nuprl Definition : state-class1
state-class1(init;tr;X) == loop-class-state((tr o X);λloc.{init loc})
Definitions occuring in Statement :
loop-class-state: loop-class-state(X;init),
eclass1: (f o X),
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
state-class1
Latex:
state-class1(init;tr;X) == loop-class-state((tr o X);\mlambda{}loc.\{init loc\})
Date html generated:
2016_05_16-PM-11_42_43
Last ObjectModification:
2012_08_28-PM-03_25_16
Theory : event-ordering
Home
Index