Nuprl Definition : mu_ex_v4_initState
mu_ex_v4_initState(initial_token) == 
l.{<ff, IdDeq initial_token l, 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_v4_initState
mu\_ex\_v4\_initState(initial$_{token}$) == \mlambda{}l.\{<ff, IdDeq initial$_{t\000Coken}$ l, ff>\}
Date html generated:
2012_02_20-PM-06_30_38
Last ObjectModification:
2012_02_02-PM-02_52_47
Home
Index