Nuprl Definition : mu_ex_v6_initState
mu_ex_v6_initState(initial_token) == 
loc.{<ff, IdDeq initial_token loc, ff>}
Definitions occuring in Statement :
id-deq: IdDeq,
bfalse: ff,
apply: f a,
lambda: x.A[x],
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
mu_ex_v6_initState
mu\_ex\_v6\_initState(initial$_{token}$) == \mlambda{}loc.\{<ff, IdDeq initial$_\mbackslash{}ff7\000Cbtoken}$ loc, ff>\}
Date html generated:
2012_02_20-PM-07_09_55
Last ObjectModification:
2012_02_02-PM-03_06_15
Home
Index