Nuprl Definition : mu_ex_v5_initState
mu_ex_v5_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_v5_initState
mu\_ex\_v5\_initState(initial$_{token}$) == \mlambda{}l.\{<ff, IdDeq initial$_{t\000Coken}$ l, ff>\}
Date html generated:
2012_02_20-PM-06_54_23
Last ObjectModification:
2012_02_02-PM-02_58_14
Home
Index