Nuprl Definition : bind-provision
bind-provision(x;t.f[t]) == provision(allowed(x) ∧ allowed(f[allow(x)]); allow(f[allow(x)]))
Definitions occuring in Statement :
allow: allow(x),
allowed: allowed(x),
provision: provision(ok; v),
and: P ∧ Q
Definitions occuring in definition :
provision: provision(ok; v),
and: P ∧ Q,
allowed: allowed(x),
allow: allow(x)
FDL editor aliases :
bind-provision
bind-prov
Latex:
bind-provision(x;t.f[t]) == provision(allowed(x) \mwedge{} allowed(f[allow(x)]); allow(f[allow(x)]))
Date html generated:
2020_05_20-AM-08_01_03
Last ObjectModification:
2020_05_17-PM-01_04_09
Theory : monads
Home
Index